@inproceedings{SIGMOD-1979-MaierMS,
	author        = "David Maier and Alberto O. Mendelzon and Yehoshua Sagiv",
	booktitle     = "{Proceedings of the Ninth ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD79/P152.PDF",
	doi           = "10.1145/582095.582119",
	isbn          = "0-89791-001-X",
	pages         = "152",
	publisher     = "{ACM}",
	title         = "{Testing Implications of Data Dependencies}",
	year          = 1979,
}