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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

5 Citaten (Scopus)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	207-226
Aantal pagina's	20
Tijdschrift	Data & Knowledge Engineering
Volume	5
Nummer van het tijdschrift	3
DOI's	https://doi.org/10.1016/0169-023X(90)90002-U
Status	Gepubliceerd - 1990

Toegang tot document

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

Citeer dit

@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

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit