On database theory and XML

Authors:
Dan Suciu
Affiliations:
University of Washington
Venue:
ACM SIGMOD Record
Year:
2001

Citing 58
Cited 23

Incomplete Information in Relational Databases

Journal of the ACM (JACM)
Implementation of logical query languages for databases

ACM Transactions on Database Systems (TODS)
The relational model with relation-valued attributes

Information Systems
Relational queries computable in polynomial time

Information and Control
Magic sets and other strange ways to implement logic programs (extended abstract)

PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
An amateur's introduction to recursive query processing strategies

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Database theory—past and future

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decidability and expressiveness aspects of logic queries

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Chickens and eggs—the interrelationship of systems and theory

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Languages that capture complexity classes

SIAM Journal on Computing
The EXODUS optimizer generator

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
On conjunctive queries containing inequalities

Journal of the ACM (JACM)
Grammar-like functional rules for representing query optimization alternatives

SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Extensible/rule based query rewrite optimization in Starburst

SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
On the equivalence of recursive and nonrecursive datalog programs

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of querying indefinite data about linearly ordered domains

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query evaluation techniques for large databases

ACM Computing Surveys (CSUR)
A query language for NC

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a theory of spatial database queries (extended abstract)

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical foundations of object-oriented and frame-based languages

Journal of the ACM (JACM)
Database metatheory: asking the big queries

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finite queries do not have effective syntax

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relational expressive power of constraint query languages

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Topological queries in spatial databases

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deciding containment for queries with complex objects (extended abstract)

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query containment for conjunctive queries with regular expressions

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Conjunctive-query containment and constraint satisfaction

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deciding equivalences among aggregate queries

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object identity as a query language primitive

Journal of the ACM (JACM)
Method schemas

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint query languages (preliminary report)

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Readings in database systems (3rd ed.)

Readings in database systems (3rd ed.)
Storing semistructured data with STORED

SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Equivalences Among Relational Expressions with the Union and Difference Operators

Journal of the ACM (JACM)
Typechecking for XML transformers

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Constraint satisfaction and database theory: a tutorial

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SilkRoute: trading between relations and XML

Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Regular expression pattern matching for XML

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Keys for XML

Proceedings of the 10th international conference on World Wide Web
XML with data values: typechecking revisited

PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient evaluation of XML middle-ware queries

SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Access path selection in a relational database management system

SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Non first normal form relations to represent hierarchically organized data

PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Remarks on the algebra of non first normal form relations

PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Testing containment of conjunctive queries under functional and inclusion dependencies

PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Conjunctive Query Containment Revisited

ICDT '97 Proceedings of the 6th International Conference on Database Theory
Bringing the Internet to Your Database: Using SQLServer 2000 and XML to Build Loosely-Coupled Systems

Proceedings of the 17th International Conference on Data Engineering
Relational Databases for Querying XML Documents: Limitations and Opportunities

VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Efficiently Publishing Relational Data as XML Documents

VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
A Fast Index for Semistructured Data

Proceedings of the 27th International Conference on Very Large Data Bases
Queries Independent of Updates

VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
XDuce: A Typed XML Processing Language (Preliminary Report)

Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
The Volcano Optimizer Generator: Extensibility and Efficient Search

Proceedings of the Ninth International Conference on Data Engineering
The complexity of relational query languages (Extended Abstract)

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Typechecking XML Views of Relational Databases

LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science

Translating XSLT programs to Efficient SQL queries

Proceedings of the 11th international conference on World Wide Web
An information-theoretic approach to normal forms for relational and XML data

Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
KGOL: a Knowledge Grid operating language

ACM SIGPLAN Notices
An information-theoretic approach to normal forms for relational and XML data

Journal of the ACM (JACM)
Join minimization in XML-to-SQL translation: an algebraic approach

ACM SIGMOD Record
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets

Theoretical Computer Science - Logic, language, information and computation
Horn clauses and functional dependencies in complex-value databases

ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
An empirical study of XML data management in business information systems

Journal of Systems and Software - Special issue: Selected papers from the 11th Asia Pacific software engineering conference (APSEC 2004)
Deciding implication for functional dependencies in complex-value databases

Theoretical Computer Science - Logic, language, information and computation
Normalization theory for XML

ACM SIGMOD Record
Using a relational database for scalable XML search

The Journal of Supercomputing
Know your limits: enhanced XML modeling with cardinality constraints

ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
On the Notion of an XML Key

Semantics in Data and Knowledge Bases
Expressive, yet tractable XML keys

Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Efficient reasoning about a robust XML key fragment

ACM Transactions on Database Systems (TODS)
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic

Electronic Notes in Theoretical Computer Science (ENTCS)
Numerical constraints on XML data

Information and Computation
Solving the implication problem for XML functional dependencies with properties

WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Promoting the semantic capability of XML keys

XSym'10 Proceedings of the 7th international XML database conference on Database and XML technologies
Unlocking keys for XML trees

ICDT'07 Proceedings of the 11th international conference on Database Theory
The nested list normal form for functional and multivalued dependencies

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
On the existence of armstrong data trees for XML functional dependencies

FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Over the years, the connection between database theory and database practice has weakened. We argue here that the new challenges posed by XML and its applications are strengthening this connection today. We illustrate three examples of theoretical problems arising from XML applications, based on our own research.