MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings
This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Confere...
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
495 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991, proceedings, B. Thalheim, J. Demetrovics, H.-D. Gerhardt (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (VI-395 p.), Lecture notes in computer science, 0-387-54009-1 • MFDBS 91, Texte imprimé, 9783662192375 |
| LEADER | 05289nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944417 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155187538 | ||
| 020 | |a 9783540473480 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Symposium on mathematical fundamentals of database systems |n (03 |d :1991 |c :Rostock). | |
| 245 | 1 | 0 | |a MFDBS 91 : |b 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings |c [edited by] B. Thalheim, J. Demetrovics, H.-D. Gerhardt. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 495 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Complex object multi-level fixpoint queries -- Classifying object-oriented query results in a class/type lattice -- A relational algebra for complex objects based on partial information -- Specifying operations for nested relations by rules and partial orders -- On the relationship between well-founded and stable partial models -- Monadic databases with equality -- Actor-oriented specification of deontic integrity constraints -- Solving ambiguities in updating deductive databases -- On the mean execution time of recursive definitions on relational databases -- Updating hierarchical databases by complex forms -- A direct algorithm for computing the transitive closure of a two-dimensionally structured file -- Multi-granularity locking for nested transaction systems -- The Nested Interpolation Based Grid File -- Complexity of recursive production rules execution -- On the monotonicity of (LDL) logic programs with set -- Semantic improvement of deductive databases -- On the representation of dependencies by propositional logic -- Pairwise-definable subdirect decompositions of general database schemata -- Functional dependencies in hierarchical structures of data -- Objects in relational database schemes with functional, inclusion and exclusion dependencies -- Abstract data type semantics for many-sorted object query algebras -- Temporal specifications of object behavior -- Consistency and non-determinism in a database programming language -- A fact-oriented approach to schema transformation -- A database needs two kinds of negation -- Rationale of the O2 system -- The background of the DASDBS & COSMOS projects -- The rationale behind DBPL. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. MFDBS 91 covers new developments in theoretical aspects of database and knowledge base systems and the design of databases and knowledge bases. Topics of the conference are: database and knowledge base models; deductive database and knowledge base systems; logical, algebraic and combinatorial fundamentals of database theory and design of databases; object-oriented databases and object-oriented modeling; fundamentals of query languages, transaction processing, distributed databases, concurrency control, access strategies, recovery, security, privacy, safety; fundamentals for integrity constraints and consistency in databases; models for database machines; models for user interfaces; design and implementation of non-standard databases. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Gerhardt, Hans-Detlef, |d 19..- |4 pbd | |
| 700 | 1 | |a Demetrovics, János. |4 pbd | |
| 700 | 1 | |a Thalheim, Bernhard, |d 1952- |4 pbd | |
| 776 | 0 | |0 022027025 |t MFDBS 91 |o 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 |o proceedings |f B. Thalheim, J. Demetrovics, H.-D. Gerhardt (eds.) |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (VI-395 p.) |s Lecture notes in computer science |z 0-387-54009-1 | |
| 776 | 0 | |t MFDBS 91 |b Texte imprimé |z 9783662192375 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-54009-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9LSMDL9G-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747919828 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-54009-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932376 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-54009-1 |z Accès INSA CVL | |
| 997 | |0 944417 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||