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 programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, revised selected papers / / Marcelo Arenas, Michael I. Schwartzbach (editors)
| Database programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, revised selected papers / / Marcelo Arenas, Michael I. Schwartzbach (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (VIII, 264 p.) |
| Disciplina | 005.74 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Database management |
| ISBN | 3-540-75987-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- XML Publishing: Bridging Theory and Practice -- Algorithms -- Efficient Algorithms for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query Languages -- A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents -- Conjunctive Query Containment over Trees -- A Better Semantics for XQuery with Side-Effects -- Inconsistency Handling -- Repairing Inconsistent XML Write-Access Control Policies -- On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints -- Data Provenance -- Relational Completeness of Query Languages for Annotated Databases -- Provenance as Dependency Analysis -- Emerging Data Models -- A Theory of Stream Queries -- Querying Structural and Behavioral Properties of Business Processes -- Efficient Evaluation of HAVING Queries on a Probabilistic Database -- Type Checking -- Succinctness of Pattern-Based Schema Languages for XML -- Analysis of Imperative XML Programs -- Efficient Inclusion for a Class of XML Types with Interleaving and Counting -- Towards Practical Typechecking for Macro Tree Transducers. |
| Record Nr. | UNINA-9910484947803321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Database programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, revised selected papers / / Marcelo Arenas, Michael I. Schwartzbach (editors)
| Database programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, revised selected papers / / Marcelo Arenas, Michael I. Schwartzbach (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (VIII, 264 p.) |
| Disciplina | 005.74 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Database management |
| ISBN | 3-540-75987-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- XML Publishing: Bridging Theory and Practice -- Algorithms -- Efficient Algorithms for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query Languages -- A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents -- Conjunctive Query Containment over Trees -- A Better Semantics for XQuery with Side-Effects -- Inconsistency Handling -- Repairing Inconsistent XML Write-Access Control Policies -- On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints -- Data Provenance -- Relational Completeness of Query Languages for Annotated Databases -- Provenance as Dependency Analysis -- Emerging Data Models -- A Theory of Stream Queries -- Querying Structural and Behavioral Properties of Business Processes -- Efficient Evaluation of HAVING Queries on a Probabilistic Database -- Type Checking -- Succinctness of Pattern-Based Schema Languages for XML -- Analysis of Imperative XML Programs -- Efficient Inclusion for a Class of XML Types with Interleaving and Counting -- Towards Practical Typechecking for Macro Tree Transducers. |
| Record Nr. | UNISA-996465813603316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||