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
Introduction to object-oriented databases
Introduction to object-oriented databases
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
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
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
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)
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
W3QS: A Query System for the World-Wide Web
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
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
Hi-index | 0.00 |
The ability to manage data whose structure is less rigid and strict than in conventional databases is important in many new application areas, such as biological databases, digital libraries, data integration and Web databases. Such data is called semistructured, since it cannot be constrained by a fixed predefined schema: the information that is normally associated with a schema is contained within the data, which is sometimes called self-describing. Such data has recently emerged as a particularly interesting research topic in which new data modelling and querying techniques are investigated.In this paper, we consider how constraint-based technology can be used to query and reason about semistructured data. The constraint system FT≤ [37] provides information ordering constraints interpreted over feature trees. Here, we show how a generalization of FT≤ combined with path constraints allows one 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 Web data.