MFDBS 89 : 2nd Symposium on mathematical fundamentals of database systems, Visegrád, Hungary, June 26-30, 1989 : proceedings
This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following s...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
364 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • MFDBS 89, proceedings, 2nd Symposium on mathematical fundamentals of database systems, Visegrád, Hungary, June 26-30, 1989, Berlin, Springer-Verlag, 1989, 1 vol. (VI-428 p.), Lecture notes in computer science, 3-540-51251-9 • MFDBS 89, Texte imprimé, 9783662184905 |
Table des matières:
- Selective refutation of integrity constraints in deductive databases
- Approaches to updates over weak instances
- Index selection in relational databases
- Towards a schema design methodology for deductive databases
- Shared abstract data types: An algebraic methodology for their specification
- Specifying closed world assumptions for logic databases
- Interaction of authorities and acquaintances in the DORIS privacy model of data
- Logical rewritings for improving the evaluation of quantified queries
- Mathematical foundations of semantic networks theory
- Functional dependencies and the semilattice of closed classes
- An extended view on data base conceptual design
- Modeling planning problems
- On the interaction between transitive closure and functional dependencies
- A strategy for executing complex queries
- Multiple task selection protocol in a distributed problem solving network
- Equivalent schemes in semantic, nested relational, and relational database models
- Covers for functional independencies
- Restructuring and dependencies in databases
- RTL a Relation and Table Language for statistical databases
- Integration of functions in the fixpoint semantics of rule-based systems
- Locking policies and predeclared transactions
- Means for management of relational fuzzy data bases Way to merging of systems of data bases and knowledge bases
- A specification language for static, dynamic and deontic integrity constraints
- Blocks and projections' synthesis in relational databases
- The higher-order entity-relationship model and (DB)
- Goal-oriented concurrency control
- Transitive closure and the LOGA+-strategy for its efficient evaluation.