On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
A query language for a Web-site management system
ACM SIGMOD Record
Lore: a database management system for semistructured data
ACM SIGMOD Record
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Catching the boat with Strudel: experiences with a Web-site management system
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Storing semistructured data with STORED
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
XML-based information mediation with MIX
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Managing semistructured data with florid: a deductive object-oriented perspective
Information Systems - Special issue on semistructured data
WWW '99 Proceedings of the eighth international conference on World Wide Web
XML-GL: a graphical language for querying and restructuring XML documents
WWW '99 Proceedings of the eighth international conference on World Wide Web
On wrapping query languages and efficient XML integration
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Computing graphical queries over XML data
ACM Transactions on Information Systems (TOIS)
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Relational Databases for Querying XML Documents: Limitations and Opportunities
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
LoPiX: A System for XML Data Integration and Manipulation
Proceedings of the 27th International Conference on Very Large Data Bases
Visual Web Information Extraction with Lixto
Proceedings of the 27th International Conference on Very Large Data Bases
Access to Objects by Path Expressions and Rules
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
SchemaSQL - A Language for Interoperability in Relational Multi-Database Systems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
XDuce: A Typed XML Processing Language (Preliminary Report)
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
A Rule-Based Querying and Updating Language for XML
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
UnQL: a query language and algebra for semistructured data based on structural recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Evaluation of datalog extended with an XPath predicate
Proceedings of the 9th annual ACM international workshop on Web information and data management
Integrating and querying distributed XML data via XLink
Information Systems
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
Electronic Notes in Theoretical Computer Science (ENTCS)
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
Evaluating very large datalog queries on social networks
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
An Ontology-based System for Semantic Filtering of XML Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating XQuery and Logic Programming
Applications of Declarative Programming and Knowledge Management
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Evolution and reactivity in the semantic web
Semantic techniques for the web
Towards a "More declarative" XML query language
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
A rule-based approach to XML processing and web reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Reactivity on the web: paradigms and applications of the language XChange
Journal of Web Engineering
XQuery in the functional-logic language toy
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Collection-Oriented scientific workflows for integrating and analyzing biological data
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
A general language for evolution and reactivity in the semantic web
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Efficient integrity checking over XML documents
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
An ECA engine for deploying heterogeneous component languages in the semantic web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Active rules in the semantic web: dealing with language heterogeneity
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
XPath Query Processing in a Functional-Logic Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We define XPathLog as a Datalog-style extension of XPath. XPathLog provides a clear, declarative language for querying and manipulating XML whose perspectives are especially in XML data integration. In our characterization, the formal semantics is defined wrt. an edge-labeled graph-based model, which covers the XML data model. We give a complete, logic-based characterization of XML data and the main language concept for XML, XPath. XPath-Logic extends the XPath language with variable bindings and embeds it into first-order logic. XPathLog is then the Horn fragment of XPath-Logic, providing a Datalog-style, rule-based language for querying and manipulating XML data. The model-theoretic semantics of XPath-Logic serves as the base of XPathLog as a logic-programming language, whereas also an equivalent answer-set semantics for evaluating XPathLog queries is given. In contrast to other approaches, the XPath syntax and semantics is also used for a declarative specification how the database should be updated: when used in rule heads, XPath filters are interpreted as specifications of elements and properties which should be added to the database.