Antoni Olivé. Integrity Constraints Checking In Deductive Databases. In Guy M. Lohman, Amílcar Sernadas, Rafael Camps, editors, 17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings. pages 513-523, Morgan Kaufmann, 1991. [doi]
@inproceedings{Olive91, title = {Integrity Constraints Checking In Deductive Databases}, author = {Antoni Olivé}, year = {1991}, tags = {constraints}, researchr = {https://researchr.org/publication/Olive91}, cites = {0}, citedby = {0}, pages = {513-523}, booktitle = {17th International Conference on Very Large Data Bases, September 3-6, 1991, Barcelona, Catalonia, Spain, Proceedings}, editor = {Guy M. Lohman and Amílcar Sernadas and Rafael Camps}, publisher = {Morgan Kaufmann}, isbn = {1-55860-150-3}, }