@article{journals/tods/FormicaGM98,
	title = {An Efficient Method for Checking Object-Oriented Database Schema Correctness.},
	author = {Anna Formica and Hans Dietmar Gröger and Michele Missikoff},
	journal = {ACM Trans. Database Syst.},
	number = {3},
	pages = {333-369},
	url = {http://dblp.uni-trier.de/db/journals/tods/tods23.html#FormicaGM98},
	volume = {23},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/2682f83d119359b50b83c0b0da3d266c8/dblp},
	description = {dblp},
	date = {2008-06-25}, cite = {books/mk/bancilhonDK92/Zicari92}, ee = {http://doi.acm.org/10.1145/293910.293152}, cdrom = {TODS23/P334.PDF},
	keywords = {dblp }
}