Integrity Constraints Checking In Deductive Databases

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/vldb/Olive91, crossref={DBLP:conf/vldb/91}, title={Integrity Constraints Checking In Deductive Databases}, pages={513-523}, year={1991}, booktitle={VLDB}, url={http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb91.html#Olive91}, ee={db/conf/vldb/Olive91.html}, cdrom={VLDB91/P513.PDF}, author={Antoni Olivé} cite={DBLP:books/mk/minker88/AptBW88 , DBLP:conf/sigmod/BancilhonR86 , DBLP:conf/vldb/BernsteinBC80 , DBLP:conf/edbt/BryDM88 , DBLP:journals/jlp/CavedonL89 , DBLP:conf/adbt/Clark77 , DBLP:journals/dke/DasW89 , DBLP:conf/eds/Decker86 , DBLP:conf/adbt/HenschenMN82 , DBLP:conf/adbt/Kowalski77 , DBLP:conf/vldb/KowalskiSS87 , DBLP:journals/jlp/Kunen89 , DBLP:journals/jlp/LloydT84 , DBLP:journals/jlp/LloydT85 , DBLP:journals/jlp/LloydT86 , DBLP:journals/jlp/LloydST87 , DBLP:journals/jacm/McCuneH89 , DBLP:journals/acta/Nicolas82 , DBLP:conf/adbt/NicolasY77 , DBLP:conf/vldb/Olive89 , DBLP:books/mk/minker88/SadriK88 , DBLP:conf/sigmod/Stonebraker75} }\end{bibtex}

Personal tools