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...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | , |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science
364 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
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 |
| LEADER | 04765nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 945382 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155225502 | ||
| 020 | |a 9783540461821 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Symposium on mathematical fundamentals of database systems |n (2 |d :1989 |c :Visegrád, Hongrie). | |
| 245 | 1 | 0 | |a MFDBS 89 : |b 2nd Symposium on mathematical fundamentals of database systems, Visegrád, Hungary, June 26-30, 1989 : proceedings |c [edited by] J. Demetrovics, B. Thalheim. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 364 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 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 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 sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory. | ||
| 650 | |a Informatique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Demetrovics, János. |4 pbd | |
| 700 | 1 | |a Thalheim, Bernhard, |d 1952- |4 pbd | |
| 776 | 0 | |0 021164479 |t MFDBS 89 |o proceedings |f 2nd Symposium on mathematical fundamentals of database systems, Visegrád, Hungary, June 26-30, 1989 |c Berlin |n Springer-Verlag |d 1989 |p 1 vol. (VI-428 p.) |s Lecture notes in computer science |z 3-540-51251-9 | |
| 776 | 0 | |t MFDBS 89 |b Texte imprimé |z 9783662184905 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-51251-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-PFJVDN1J-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747910987 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-51251-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750923857 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-51251-9 |z Accès INSA CVL | |
| 997 | |0 945382 |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/ | ||