Login: A logic programming language with built-in inheritance
Journal of Logic Programming
An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Expressing structural hypertext queries in graphlog
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
The SGML handbook
Feature-constraint logics for unification grammars
Journal of Logic Programming
Learning perl
A resolution principle for constrained logics
Artificial Intelligence
A logical query language for hypermedia systems
Information Sciences—Informatics and Computer Science: An International Journal
Regular path expressions in feature logic
Journal of Symbolic Computation
From structured documents to novel query facilities
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
A feature constraint system for logic programming with entailment
FGCS'921 Selected papers of the conference on Fifth generation computer systems
Finding Regular Simple Paths in Graph Databases
SIAM Journal on Computing
Evaluating queries with generalized path expressions
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A query language for a Web-site management system
ACM SIGMOD Record
Lore: a database management system for semistructured data
ACM SIGMOD Record
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Regular path queries with constraints
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Path constraints on semistructured and structured data
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Queries with incomplete answers over semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
Boolean Query Mapping Across Heterogeneous Information Sources
IEEE Transactions on Knowledge and Data Engineering
A Database Approach for Modeling and Querying Video Data
IEEE Transactions on Knowledge and Data Engineering
Queries on Structures in Hypertext
FODO '93 Proceedings of the 4th International Conference on Foundations of Data Organization and Algorithms
Object Exchange Across Heterogeneous Information Sources
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Queries and Computation on the Web
ICDT '97 Proceedings of the 6th International Conference on Database Theory
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
W3QS: A Query System for the World-Wide Web
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic
RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
A Rule-Based Querying and Updating Language for XML
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
A Declarative Language for Querying and Restructuring the Web
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Hi-index | 0.00 |
Constraints are a valuable tool for managing information. Feature constraints have been used for describing records in constraint programming (Aït-Kaci and Podelski, 1993; Smolka and Treinen, 1994) and record like structures in computational linguistics (Kaplan and Bresnan, 1982; Shieber, 1986). In this paper, we consider how constraint-based technology can be used to query and reason about semistructured data. The constraint system FT≤ (Müller et al., 1997) provides information ordering constraints interpreted over feature trees. Here, we show how a generalization of FT≤ combined with path constraints can be used to formally represent, state constraints, and reason about semistructured data. The constraint languages we propose provide possibilities to straightforwardly capture, for example, what it means for a tree to be a subtree or subsumed by another, or what it means for two paths to be divergent. We establish a logical semantics for our constraints thanks to axiom schemes presenting our first-order theory constraint system. We propose using the constraint systems for querying semistructured data.