Universidad Complutense de Madrid
E-Prints Complutense

Formalizing a constraint deductive database language based on hereditary harrop formulas with negation



Último año

Nieva Soto, Susana y Sánchez-Hernández, Jaime y Sáenz-Pérez, Fernando (2008) Formalizing a constraint deductive database language based on hereditary harrop formulas with negation. In Functional and logic programming. Lecture Notes in Computer Science, 4989 . Springer-Verlag Berlín, Berlín, pp. 289-304. ISBN 978-3-540-78968-0

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


URL Oficial: http://link.springer.com/chapter/10.1007%2F978-3-540-78969-7_21

URLTipo de URL


In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint deductive database query language. In addition to constraints, our proposal includes logical connectives (implication and quantifiers) for defining databases and queries, which altogether are unavailable in current database query languages. We define a proof theoretic semantic framework based on a sequent calculus, that allows to represent the meaning of a database query by means of a derived constraint answer in the sense of CLP. We also introduce an appropriate notion of stratification, which provides a starting point for suitable operational semantics dealing with recursion and negation. We formalize a fixed point semantics for stratifiable databases, whose fixpoint operator is applied stratum by stratum. This semantics is proved to be sound and complete with respect to derivability in the sequent calculus, and it provides the required support for actual implementations, as the prototype we have developed already and introduce in this paper.

Tipo de documento:Sección de libro
Información Adicional:

Conference: 9th International Symposium on Functional and Logic Programming Location: Ise, Japan Date: Apr 14-16, 2008

Materias:Ciencias > Informática > Bases de datos
Código ID:17150
Depositado:20 Nov 2012 12:43
Última Modificación:07 Feb 2014 09:42

Descargas en el último año

Sólo personal del repositorio: página de control del artículo