Constraint-Based Approach to Semistructured Data

In this paper we consider how constraint-based technology can be used to query semistruc-tured data. As many concerns in semistructured data (e.g., representing and retrieving) are also found in computational linguistics, this last area could provide an interesting angle to attack some of the problems regarding semistructured data. We present a formalism based on feature logics for query-ing 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 based on the notion of extended active domain.

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

[2]  Alberto O. Mendelzon,et al.  Finding Regular Simple Paths in Graph Databases , 1989, SIAM J. Comput..

[3]  Charles F. Goldfarb,et al.  SGML handbook , 1990 .

[4]  Kevin Chen-Chuan Chang,et al.  Boolean Query Mapping Across Heterogeneous Information Sources , 1996, IEEE Trans. Knowl. Data Eng..

[5]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

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

[7]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

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

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

[10]  Christine Chiarello.  Proceedings of the Fifth Annual Meeting of the Berkeley Linguistics Society, 17-19, February 1979 , 1979 .

[11]  Catriel Beeri,et al.  A Logical Query Language for Hypermedia Systems , 1994, Inf. Sci..

[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]  Werner Nutt,et al.  On the expressivity of feature logics with negation, functional uncertainty, and sort equations , 1993, J. Log. Lang. Inf..

[15]  R. G. G. Cattell,et al.  The Object Database Standard: ODMG-93 , 1993 .

[16]  Gert Smolka,et al.  Records for Logic Programming , 1994, J. Log. Program..

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

[18]  Guido Moerkotte,et al.  Evaluating queries with generalized path expressions , 1996, SIGMOD '96.

[19]  Dan Suciu,et al.  A query language for a Web-site management system , 1997, SGMD.

[20]  Serge Abiteboul,et al.  Regular path queries with constraints , 1997, J. Comput. Syst. Sci..

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

[22]  Gabriel M. Kuper,et al.  Constraint Databases , 2010, Springer Berlin Heidelberg.

[23]  Mohand-Said Hacid,et al.  A Database Approach for Modeling and Querying Video Data , 2000, IEEE Trans. Knowl. Data Eng..

[24]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

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

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

[27]  Roy Goldman,et al.  Lore: a database management system for semistructured data , 1997, SGMD.

[28]  Jennifer Widom,et al.  Object exchange across heterogeneous information sources , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[29]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

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

[31]  Alberto O. Mendelzon,et al.  Expressing structural hypertext queries in graphlog , 1989, Hypertext.

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

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

[34]  Laks V. S. Lakshmanan,et al.  A declarative language for querying and restructuring the Web , 1996, Proceedings RIDE '96. Sixth International Workshop on Research Issues in Data Engineering.

[35]  Stuart M. Shieber,et al.  The Design of a Computer Language for Linguistic Information , 1984, ACL.

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

[37]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[38]  Serge Abiteboul,et al.  From structured documents to novel query facilities , 1994, SIGMOD '94.

[39]  Peter Buneman,et al.  Semistructured data , 1997, PODS.

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

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

[42]  Alberto O. Mendelzon,et al.  Formal models of Web queries , 1997, Inf. Syst..

[43]  Frank Wm. Tompa,et al.  Text / Relational Database Management Systems: Harmonizing SQL and SGML , 1994, ADB.

[44]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[45]  Andreas Podelski,et al.  Towards a Meaning of LIFE , 1991, J. Log. Program..