Database theory - ICDT '92 : 4th International Conference, Berlin, Germany, October 14 16, 1992 : proceedings
The papers in this volume were presented at the International Conference on Database Theory, held in Berlin, Germany, October 14-16, 1992. This conference initiated the merger of two series of conferences on theoretical aspects of databases that were formed in parallel by different scientific commun...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
646 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Database theory, ICDT '92, 4th International Conference, Berlin, Germany, October 1992, proceedings, J. Biskup, R. Hull, eds, Berlin, Springer-Verlag, 1992, 1 vol. (ix, 449 p.), Lecture notes in computer science, 3-540-56039-4 • Database Theory - ICDT '92, Texte imprimé, 9783662192382 |
Inhoudsopgave:
- Combinatorial and algebraic results for database relations
- Semantics of disjunctive deductive databases
- Database theory in Russia (1979 1991) (an overview)
- On the composition and decomposition of attributes and tuples
- Approximate dependency inference from relations
- Views and decompositions of databases from a categorical perspective
- Computing with infinitary logic
- Query languages with counters
- Naturally embedded query languages
- Optimizing incremental computation of datalog programs with non-deterministic semantics
- Optimizing active databases using the split technique (Preliminary Report)
- Updating atomic information in labelled database systems (extended abstract)
- Context-specific synchronization for atomic data types
- Hybrid atomicity for nested transactions
- Model and verification of a data manager based on ARIES
- Minimizing indefinite information in disjunctive deductive databases
- Well founded semantics and stable semantics of semi-strict programs
- On finding extensions of default theories
- Incremental evaluation of Datalog queries
- Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations
- A paradox in database theory
- A hierarchy of faithful set creation in pure OODB's
- Identification, genericity and consistency in object-oriented databases
- Subsumption for complex object data models
- Semantic information connected with data
- Declarative foundations of secure deductive databases
- On materializing views and on-line queries
- Maintaining dictionaries: Space-saving modifications of B-trees
- Set-term matching in logic programming.