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.
Database Theory - ICDT 2003 [[electronic resource] ] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani
| Database Theory - ICDT 2003 [[electronic resource] ] : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
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) |
| ISBN | 3-540-36285-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNISA-996465330103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Database Theory - ICDT 2003 : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani
| Database Theory - ICDT 2003 : 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings / / edited by Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 460 p.) |
| Disciplina | 005.74 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data structures (Computer science)
Database management Computers Logic, Symbolic and mathematical 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) |
| ISBN | 3-540-36285-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNINA-9910143885003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to automata theory, languages, and computation / / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
| Introduction to automata theory, languages, and computation / / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |
| Autore | Hopcroft John E. <1939-> |
| Edizione | [Third, Pearson new international edition.] |
| Pubbl/distr/stampa | Harlow, England : , : Pearson, , [2014] |
| Descrizione fisica | 1 online resource (ii, 488 pages) : illustrations |
| Disciplina | 511.3 |
| Collana | Always learning |
| Soggetto topico | Machine theory |
| ISBN | 1-292-05616-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Automata : the methods and the madness -- Finite automata -- Regular expressions and languages -- Properties of regular languages -- Context-free grammars and languages -- Pushdown automata -- Properties of context-free languages -- Introduction to turing machines -- Undecidability -- Intractable problems. |
| Record Nr. | UNINA-9910154805903321 |
Hopcroft John E. <1939->
|
||
| Harlow, England : , : Pearson, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||