Termination properties of spatial Datalog programs

B. Kuijpers; J. Paredaens; Marc Smits; J. Van den Bussche

doi:10.1007/BFb0031737

Termination properties of spatial Datalog programs

B. Kuijpers, J. Paredaens, Marc Smits, J. Van den Bussche

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Logic in Databases (Proceedings LID'96, San Miniato, Italy, July 1-2, 1996)
Editors	D. Pedreschi, C. Zaniolo
Place of Publication	Berlin
Publisher	Springer
Pages	101-116
ISBN (Print)	3-540-61814-7
DOIs	https://doi.org/10.1007/BFb0031737
Publication status	Published - 1996
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science
Volume	1154
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0031737

Cite this

@inproceedings{505d481366f54adab695a64069c411eb,

title = "Termination properties of spatial Datalog programs",

author = "B. Kuijpers and J. Paredaens and Marc Smits and {Van den Bussche}, J.",

year = "1996",

doi = "10.1007/BFb0031737",

language = "English",

isbn = "3-540-61814-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "101--116",

editor = "D. Pedreschi and C. Zaniolo",

booktitle = "Logic in Databases (Proceedings LID'96, San Miniato, Italy, July 1-2, 1996)",

address = "Germany",

}

Termination properties of spatial Datalog programs. / Kuijpers, B.; Paredaens, J.; Smits, Marc et al.
Logic in Databases (Proceedings LID'96, San Miniato, Italy, July 1-2, 1996). ed. / D. Pedreschi; C. Zaniolo. Berlin: Springer, 1996. p. 101-116 (Lecture Notes in Computer Science; Vol. 1154).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Termination properties of spatial Datalog programs

AU - Kuijpers, B.

AU - Paredaens, J.

AU - Smits, Marc

AU - Van den Bussche, J.

PY - 1996

Y1 - 1996

U2 - 10.1007/BFb0031737

DO - 10.1007/BFb0031737

M3 - Conference contribution

SN - 3-540-61814-7

T3 - Lecture Notes in Computer Science

SP - 101

EP - 116

BT - Logic in Databases (Proceedings LID'96, San Miniato, Italy, July 1-2, 1996)

A2 - Pedreschi, D.

A2 - Zaniolo, C.

PB - Springer

CY - Berlin

ER -