%0 Conference Paper %1 conf/daisd/MarquesC93 %A Marqués, Francisco %A Casamayor, Juan Carlos %B DAISD %D 1993 %E Olivé, Antoni %I Universitat Politecnica de Catalunya (UPC) %K dblp %P 287-307 %T Consistency Verification of Deductive Database Schemes. %U http://dblp.uni-trier.de/db/conf/daisd/daisd93.html#MarquesC93 %V LSI/93-25-R

@inproceedings{conf/daisd/MarquesC93, added-at = {2019-07-26T00:00:00.000+0200}, author = {Marqués, Francisco and Casamayor, Juan Carlos}, biburl = {https://www.bibsonomy.org/bibtex/26fe016ddb952a67e794a0d4b94376670/dblp}, booktitle = {DAISD}, crossref = {conf/daisd/1993}, editor = {Olivé, Antoni}, interhash = {ccd1cf96d1db9374d764ac86fe4f08df}, intrahash = {6fe016ddb952a67e794a0d4b94376670}, keywords = {dblp}, pages = {287-307}, publisher = {Universitat Politecnica de Catalunya (UPC)}, series = {Report de recerca}, timestamp = {2019-07-27T11:37:48.000+0200}, title = {Consistency Verification of Deductive Database Schemes.}, url = {http://dblp.uni-trier.de/db/conf/daisd/daisd93.html#MarquesC93}, volume = {LSI/93-25-R}, year = 1993 }