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.
Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
| Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 238 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Computer logic Computer science—Mathematics Information storage and retrieval Multimedia information systems Data Structures and Information Theory Database Management Logics and Meanings of Programs Discrete Mathematics in Computer Science Information Storage and Retrieval Multimedia Information Systems |
| ISBN | 3-540-36596-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets -- Towards Unifying Semantic Constraints and Security Constraints -- Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases -- Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling -- Characterization of Type Hierarchies with Open Specification -- Null Values in Relational Databases and Sure Information Answers -- Consistency Enforcement in Databases -- Automata- and Logic-Based Pattern Languages for Tree-Structured Data -- Cardinality Constraints in Disjunctive Deductive Databases -- Semantic Classifications of Queries to Relational Databases. |
| Record Nr. | UNINA-9910143883303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
| Semantics in Databases [[electronic resource] ] : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers / / edited by Leopoldo Bertossi, Gyula O.H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 238 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Computer logic Computer science—Mathematics Information storage and retrieval Multimedia information systems Data Structures and Information Theory Database Management Logics and Meanings of Programs Discrete Mathematics in Computer Science Information Storage and Retrieval Multimedia Information Systems |
| ISBN | 3-540-36596-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantics in Databases -- Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets -- Towards Unifying Semantic Constraints and Security Constraints -- Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases -- Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling -- Characterization of Type Hierarchies with Open Specification -- Null Values in Relational Databases and Sure Information Answers -- Consistency Enforcement in Databases -- Automata- and Logic-Based Pattern Languages for Tree-Structured Data -- Cardinality Constraints in Disjunctive Deductive Databases -- Semantic Classifications of Queries to Relational Databases. |
| Record Nr. | UNISA-996465671103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||