Integration of functions in logic database systems

E. Lambrichts; P. Nees; J. Paredaens; P. Peelman; L. Tanca

doi:10.1016/0169-023X(90)90002-U

Integration of functions in logic database systems

E. Lambrichts, P. Nees, J. Paredaens, P. Peelman, L. Tanca

Research output: Contribution to journal › Article › Academic › peer-review

5 Citations (Scopus)

Abstract

We extend Datalog, a logic programming language for rule-based systems, by respectively integrating types, negation and functions. This extention of Datalog is called MilAnt. Furthermore, MilAnt consistency is defined as a stronger form of consistency for functions. It is known that consistency for functions is undecidable. We prove that MilAnt consistency is decidable and an algorithm is given to detect the MilAnt consistency of a MilAnt program. To this end, we use a mixture of dependencies that are local to a rule and dependencies that are global for the whole program.

Original language	English
Pages (from-to)	207-226
Number of pages	20
Journal	Data & Knowledge Engineering
Volume	5
Issue number	3
DOIs	https://doi.org/10.1016/0169-023X(90)90002-U
Publication status	Published - 1990

Access to Document

10.1016/0169-023X(90)90002-U

Cite this

@article{5e700750da944be6999c6a26dff432c8,

title = "Integration of functions in logic database systems",

abstract = "We extend Datalog, a logic programming language for rule-based systems, by respectively integrating types, negation and functions. This extention of Datalog is called MilAnt. Furthermore, MilAnt consistency is defined as a stronger form of consistency for functions. It is known that consistency for functions is undecidable. We prove that MilAnt consistency is decidable and an algorithm is given to detect the MilAnt consistency of a MilAnt program. To this end, we use a mixture of dependencies that are local to a rule and dependencies that are global for the whole program.",

author = "E. Lambrichts and P. Nees and J. Paredaens and P. Peelman and L. Tanca",

year = "1990",

doi = "10.1016/0169-023X(90)90002-U",

language = "English",

volume = "5",

pages = "207--226",

journal = "Data & Knowledge Engineering",

issn = "0169-023X",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Integration of functions in logic database systems

AU - Lambrichts, E.

AU - Nees, P.

AU - Paredaens, J.

AU - Peelman, P.

AU - Tanca, L.

PY - 1990

Y1 - 1990

N2 - We extend Datalog, a logic programming language for rule-based systems, by respectively integrating types, negation and functions. This extention of Datalog is called MilAnt. Furthermore, MilAnt consistency is defined as a stronger form of consistency for functions. It is known that consistency for functions is undecidable. We prove that MilAnt consistency is decidable and an algorithm is given to detect the MilAnt consistency of a MilAnt program. To this end, we use a mixture of dependencies that are local to a rule and dependencies that are global for the whole program.

AB - We extend Datalog, a logic programming language for rule-based systems, by respectively integrating types, negation and functions. This extention of Datalog is called MilAnt. Furthermore, MilAnt consistency is defined as a stronger form of consistency for functions. It is known that consistency for functions is undecidable. We prove that MilAnt consistency is decidable and an algorithm is given to detect the MilAnt consistency of a MilAnt program. To this end, we use a mixture of dependencies that are local to a rule and dependencies that are global for the whole program.

U2 - 10.1016/0169-023X(90)90002-U

DO - 10.1016/0169-023X(90)90002-U

M3 - Article

SN - 0169-023X

VL - 5

SP - 207

EP - 226

JO - Data & Knowledge Engineering

JF - Data & Knowledge Engineering

IS - 3

ER -

Integration of functions in logic database systems

Abstract

Access to Document

Fingerprint

Cite this