| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465330103316 |
|
|
Titolo |
Database Theory - ICDT 2003 [[electronic resource] ] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2003.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 460 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2572 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Data structures (Computer science) |
Database management |
Computers |
Mathematical logic |
Information storage and retrieval |
Application software |
Data Structures and Information Theory |
Database Management |
Computation by Abstract Devices |
Mathematical Logic and Formal Languages |
Information Storage and Retrieval |
Information Systems Applications (incl. Internet) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Open Problems in Data-Sharing Peer-to-Peer Systems -- Approximations in Database Systems -- Bioinformatics Adventures in Database Research -- Reasoning about XML Schemas and Queries -- Incremental Validation of XML Documents -- Typechecking Top-Down Uniform Unranked Tree Transducers -- Structural Properties of XPath Fragments -- On Reasoning about Structural Equality in XML: A Description Logic Approach -- Aggregate Queries -- Containment of Aggregate Queries -- Auditing Sum Queries -- CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries -- Optimal Range Max |
|
|
|
|
|
|
|
|
|
|
Datacube for Fixed Dimensions -- Query Evaluation -- Processing XML Streams with Deterministic Automata -- Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases -- Query Rewriting and Reformulation -- Data Exchange: Semantics and Query Answering -- Reformulation of XML Queries and Constraints -- New Rewritings and Optimizations for Regular Path Queries -- Database Interrogation Using Conjunctive Queries -- Semistructured versus Structured Data -- On the Difficulty of Finding Optimal Relational Decompositions for XML Workloads: A Complexity Theoretic Perspective -- Generating Relations from XML Documents -- Query Containment -- Containment for XPath Fragments under DTD Constraints -- XPath Containment in the Presence of Disjunction, DTDs, and Variables -- Decidable Containment of Recursive Queries -- Containment of Conjunctive Queries with Safe Negation -- Consistency and Incompleteness -- Probabilistic Interval XML -- Condensed Representation of Database Repairs for Consistent Query Answering -- Typing Graph-Manipulation Operations -- Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination -- Data Structures -- An Efficient Indexing Scheme for Multi-dimensional Moving Objects -- Nearest Neighbors Can Be Found Efficiently If the Dimension Is Small Relative to the Input Size. |
|
|
|
|
|
| |