Title: Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas
Abstract: In the same way that Datalog and Datalog with constraints arise when modelling databases inspired on Prolog and CLP (Constraint Logic Programming), respectively, we introduce the constraint logic programming scheme HH(C) (Hereditary Harrop formulas with Constraints) as the basis for a database language. We show that HH(C) can fulfill all relational algebra operations but set dierence, so that it has to be extended with a limited form of negation. Since the underlying logic of our system is an extension of Horn clauses, we will show that the resulting database language is more powerful than both relational algebra and calculus. For instance, it is possible to define recursive views. In addition, the use of constraints permits of modelling infinite databases, as in Datalog with constraints. Moreover, our approach improves the expressivity of recursive Datalog with negation because, for instance, hypothetical queries are allowed.
Publication Year: 2006
Publication Date: 2006-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 3
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot