Declarative Constrained Language for Semistructured Data

In this paper we consider how constraint-based technology can be used to query semistructured data. We present a formalism based on feature logics for querying semistructured data. The formalism is a hybrid one in the sense that it combines clauses with path constraints. The resulting language has a clear declarative and operational semantics.

[1]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[2]  Rolf Backofen.  Regular Path Expressions in Feature Logic , 1994, J. Symb. Comput..

[3]  Larry Wall,et al.  Learning Perl , 1993 .

[4]  David Konopnicki,et al.  W3QS: A Query System for the World-Wide Web , 1995, VLDB.

[5]  Gert Smolka,et al.  A Feature Constraint System for Logic Programming with Entailment , 1994, Theor. Comput. Sci..

[6]  Stuart M. Shieber,et al.  An Introduction to Unification-Based Approaches to Grammar , 1986, CSLI Lecture Notes.

[7]  Hassan Aït-Kaci,et al.  An Algebraic Semantics Approach to the Effective Resolution of Type Equations , 1986, Theor. Comput. Sci..

[8]  Dan Suciu,et al.  A query language and optimization techniques for unstructured data , 1996, SIGMOD '96.

[9]  Mohand-Said Hacid,et al.  A database approach for modeling and querying video data , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[10]  Gert Smolka,et al.  Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..

[11]  Alberto O. Mendelzon,et al.  Querying the World Wide Web , 1997, International Journal on Digital Libraries.

[12]  Werner Nutt,et al.  Queries with incomplete answers over semistructured data , 1999, PODS '99.

[13]  Serge Abiteboul,et al.  Extracting schema from semistructured data , 1998, SIGMOD '98.

[14]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[15]  Serge Abiteboul,et al.  Querying Semi-Structured Data , 1997, Encyclopedia of Database Systems.

[16]  Wenfei Fan,et al.  Path constraints on semistructured and structured data , 1998, PODS '98.

[17]  Jennifer Widom,et al.  The Lorel query language for semistructured data , 1997, International Journal on Digital Libraries.

[18]  Hans-Jürgen Bürckert,et al.  A Resolution Principle for Constrained Logics , 1994, Artif. Intell..

[19]  Peter J. Stuckey,et al.  Semantics of constraint logic programs with optimization , 1993, LOPL.

[20]  Anthony J. Bonner,et al.  Sequences, Datalog and transducers , 1995, PODS '95.

[21]  Serge Abiteboul,et al.  Regular Path Queries with Constraints , 1999, J. Comput. Syst. Sci..

[22]  Kannan Govindarajan,et al.  Optimization and relaxation in constraint logic languages , 1996, POPL '96.