Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary

First Page		Document Content
Date: 2010-06-14 20:29:16 Programming paradigms Query languages Deduction Database Relational model Entailment Modal logic SQL Knowledge representation and reasoning Logic Database management systems Philosophical logic		Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary Add to Reading List Source URL: www.cs.waikato.ac.nz Download Document from Source Website File Size: 139,94 KB Share Document on Facebook

	Distributive Liberty: A Relational Model of Freedom, Coercion, and Property Law Source: Harvard Law Review, Vol. 107, No. 4 (Feb., 1994), ppPublished by: The Harvard Law Review Association Stable URL: http://ww DocID: 1v4N1 - View Document
	A latent factor model for highly multi-relational data † ◦ ? DocID: 1u62u - View Document
	Distributive Liberty: A Relational Model of Freedom, Coercion, and Property Law Source: Harvard Law Review, Vol. 107, No. 4 (Feb., 1994), ppPublished by: The Harvard Law Review Association Stable URL: http://ww DocID: 1tVFE - View Document
	A Coq Formalization of the Relational Data Model? ´ V´eronique Benzaken1 , Evelyne Contejean2 , and Stefania Dumbrava1 1 DocID: 1twjN - View Document