Abstract is missing.
- Automatic verification of database-driven systems: a new frontierVictor Vianu. 1-13 [doi]
- Datalog:::±:::: a unified approach to ontologies and integrity constraintsAndrea Calì, Georg Gottlob, Thomas Lukasiewicz. 14-30 [doi]
- Repair checking in inconsistent databases: algorithms and complexityFoto N. Afrati, Phokion G. Kolaitis. 31-41 [doi]
- Consistent query answering under primary keys: a characterization of tractable queriesJef Wijsen. 42-52 [doi]
- On approximating optimum repairs for functional dependency violationsSolmaz Kolahi, Laks V. S. Lakshmanan. 53-62 [doi]
- Structural characterizations of schema-mapping languagesBalder ten Cate, Phokion G. Kolaitis. 63-72 [doi]
- Query languages for data exchange: beyond unions of conjunctive queriesMarcelo Arenas, Pablo Barceló, Juan Reutter. 73-83 [doi]
- Querying data sources that export infinite sets of viewsBogdan Cautis, Alin Deutsch, Nicola Onose. 84-97 [doi]
- Optimal splitters for database partitioning with size boundsKenneth A. Ross, John Cieslewicz. 98-110 [doi]
- Efficient data structures for range-aggregate queries on treesHao Yuan, Mikhail J. Atallah. 111-120 [doi]
- Faster join-projects and sparse matrix multiplicationsRasmus Resen Amossen, Rasmus Pagh. 121-126 [doi]
- A compositional query algebra for second-order logic and uncertain databasesChristoph Koch. 127-140 [doi]
- A logical account of uncertain databases based on linear logicSungwoo Park, Seung-won Hwang. 141-148 [doi]
- A compositional framework for complex queries over uncertain dataMichaela Götz, Christoph Koch. 149-161 [doi]
- Incremental XPath evaluationHenrik Björklund, Wouter Gelade, Marcel Marquardt, Wim Martens. 162-173 [doi]
- Efficient asymmetric inclusion between regular expression typesDario Colazzo, Giorgio Ghelli, Carlo Sartiani. 174-182 [doi]
- How big must complete XML query languages be?Clemens Ley, Michael Benedikt. 183-200 [doi]
- Towards a theory of search queriesGeorge H. L. Fletcher, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren. 201-211 [doi]
- Reconcilable differencesTodd J. Green, Zachary G. Ives, Val Tannen. 212-224 [doi]
- Automatic construction of simple artifact-based business processesChristian Fritz, Richard Hull, Jianwen Su. 225-238 [doi]
- TOP-K projection queries for probabilistic business processesDaniel Deutch, Tova Milo. 239-251 [doi]
- Automatic verification of data-centric business processesAlin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu. 252-267 [doi]
- Tight results for clustering and summarizing data streamsSudipto Guha. 268-275 [doi]
- Analysis of sampling techniques for association rule miningVenkatesan T. Chakaravarthy, Vinayaka Pandit, Yogish Sabharwal. 276-283 [doi]
- The average-case complexity of counting distinct elementsDavid P. Woodruff. 284-295 [doi]
- Containment of conjunctive queries on annotated relationsTodd J. Green. 296-309 [doi]
- Optimizing user views for workflowsOlivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy. 310-323 [doi]