Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ICDT '88 [[electronic resource] ] : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings / / edited by Marc Gyssens, Jan Paredaens, Dirk Van Gucht
| ICDT '88 [[electronic resource] ] : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings / / edited by Marc Gyssens, Jan Paredaens, Dirk Van Gucht |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VIII, 412 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Computer science Database management Computers Data Structures and Information Theory Computer Science, general Database Management Models and Principles |
| ISBN | 3-540-45943-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Updates, a new frontier -- Data models and languages for databases -- A theory of atomic transactions -- Improving integrity constraint checking in deductive databases -- On the composition and decomposition of datalog program mappings -- On the semantics of rule-based expert systems with uncertainty -- Efficient consistency control in deductive databases -- Idempotent single-predicate horn clauses -- Hypothetical datalog: Complexity and expressibility -- On using conditional rotation operations to adaptively structure binary search trees -- An O(N2) equivalence algorithm for fan-out free queries -- Two-way join optimization in partitioned database systems -- Deciding whether a production rule is relational computable -- Modeling inheritance and genericity in object oriented-databases -- Semantics of types for database objects -- Towards abstracting complex database objects: Generalization, reduction and unification of set-type objects (extended abstract) -- On the complexity of queries in the logical data model -- On domain independent disjunctive databases -- Update in hierarchical data bases -- Parallel update transactions -- Transformation of dynamic integrity constraints into transaction specifications -- View update translation via deduction and annotation -- Conceptual level concurrency control of relational update transactions -- Version consistency and serializability in design databases -- Object-history and spreadsheet p-simulation -- Efficient management of replicated data. |
| Record Nr. | UNISA-996465273603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
MFDBS 87 [[electronic resource] ] : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings / / edited by Joachim Biskup, Janos Demetrovics, Jan Paredaens, Bernhard Thalheim
| MFDBS 87 [[electronic resource] ] : 1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings / / edited by Joachim Biskup, Janos Demetrovics, Jan Paredaens, Bernhard Thalheim |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VIII, 252 p.) |
| Disciplina | 005.74/01/51 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Data structures (Computer science) Theory of Computation Data Structures and Information Theory Models and Principles |
| ISBN | 3-540-39124-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information measurement in relational databases -- On hierarchical normal forms -- Data manipulation languages for the universal relation view DURST -- The equivalence problem for relational database schemes -- On global context dependencies and their properties -- Functional dependency implications, inducing horizontal decompositions -- Extremal combinatorial problems of database models -- A formal model for distributed information systems -- A theory of reference graphs in relational databases -- Modal logic and incomplete information -- Designing alpha-acyclic BCNF-database schemes -- Design tools for large relational database systems -- Searching and retrieval in databases by trees -- Database models, where they are going now? -- Open problems in database theory. |
| Record Nr. | UNISA-996465815303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the Twenty-Eighth Acm Sigmod-Sigact-Sigart Symposium on Principles of Database Systems
| Proceedings of the Twenty-Eighth Acm Sigmod-Sigact-Sigart Symposium on Principles of Database Systems |
| Autore | Paredaens Jan |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (298 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PODS '09 |
| Record Nr. | UNINA-9910375796603321 |
Paredaens Jan
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||