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...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
495 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
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 |
İçindekiler:
- 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.