A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.
G. Nüssel, H. Decker, M. Celma, and J. Casamayor. DAISD, volume LSI/92/19 of Report de recerca, page 199-216. Universitat Politecnica de Catalunya (UPC), (1992)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/daisd/NusselDCC92
%A Nüssel, Georg
%A Decker, Hendrik
%A Celma, Matilde
%A Casamayor, Juan Carlos
%B DAISD
%D 1992
%E Olivé, Antoni
%I Universitat Politecnica de Catalunya (UPC)
%K dblp
%P 199-216
%T A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.
%U http://dblp.uni-trier.de/db/conf/daisd/daisd92.html#NusselDCC92
%V LSI/92/19
@inproceedings{conf/daisd/NusselDCC92,
added-at = {2019-07-26T00:00:00.000+0200},
author = {Nüssel, Georg and Decker, Hendrik and Celma, Matilde and Casamayor, Juan Carlos},
biburl = {https://www.bibsonomy.org/bibtex/2e27e6da26c68b534fd1391703449b703/dblp},
booktitle = {DAISD},
crossref = {conf/daisd/1992},
editor = {Olivé, Antoni},
interhash = {eb44e1416fc3d32e19e111e4019781bf},
intrahash = {e27e6da26c68b534fd1391703449b703},
keywords = {dblp},
pages = {199-216},
publisher = {Universitat Politecnica de Catalunya (UPC)},
series = {Report de recerca},
timestamp = {2019-07-27T11:37:48.000+0200},
title = {A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.},
url = {http://dblp.uni-trier.de/db/conf/daisd/daisd92.html#NusselDCC92},
volume = {LSI/92/19},
year = 1992
}
