XCentric: logic programming for XML processing

Authors:
Jorge Coelho;Mario Florido
Affiliations:
Instituto Superior de Engenharia do Porto & LIACC, Porto, Portugal;University of Porto, Porto, Portugal
Venue:
Proceedings of the 9th annual ACM international workshop on Web information and data management
Year:
2007

Citing 14
Cited 5

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Minimal and complete word unification

Journal of the ACM (JACM)
An introduction to Prolog III

Communications of the ACM
A type system for logic program

Journal of Logic Programming
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Type-Based XML Processing in Logic Programming

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
XDuce: A Typed XML Processing Language (Preliminary Report)

Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics

Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
CDuce: an XML-centric general-purpose language

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Monadic datalog and the expressive power of languages for Web information extraction

Journal of the ACM (JACM)
biXid: a bidirectional transformation language for XML

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Type-Based Static and Dynamic Website Verification

ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
VeriFLog: a constraint logic programming approach to verification of website content

APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications

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
Collaborative schema construction using regular sequence types

IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
XQuery in the functional-logic language toy

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
XPath Query Processing in a Functional-Logic Language

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Here we present the logic-programming language XCentric, discuss design issues, and show its adequacy for XML processing. Distinctive features of XCentric are a powerful unification algorithm for terms with functors of arbitrary arity (which correspond closely to XML documents) and a rich type language that uses operators such as repetition (*), alternation, etc, as types allowing a compact representation of terms with functors with an arbitrary number of arguments (closely related to standard type languages for XML). This new form of unification together with an appropriate use of types yields a substantial degree of flexibility in programming.