Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Learning perl
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
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
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
Representing and querying XML with incomplete information
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
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
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
| Hi-index | 0.00 |
The efficient and sophisticated representation of the structure of the documents being circulated over the Internet allows for effective querying and reasoning over them. This is a major goal for large information resources like the World Wide Web (WWW). Constraints are a valuable tool for managing information. In this work, we consider how constraint-based technology can be used to query and reason about semistructured data represented using the constraint-logic implied representation models. The constraint system, FT≤, provides information-ordering constraints interpreted over feature trees. Based on this approach, we show how a generalization of FT≤ combined with path constraints can be used to formally represent and state constraints and reason over semistructured data. The proposed query language is extended to facilitate query relaxation when the exact solution to the query cannot be obtained from the data repository. The applicability of the above framework, proposed for semistructured data, is examined for a particular case regarding XML documents circulated and stored over the Web.