CS748M Projects

[Toman97a] Toman, D. Memoing Evaluation for Constraint Extensions of Datalog. Constraints: An International Journal, Spec. Issue on Constraints and Databases, Vol. 2 No. 3/4, December 1997.

[Toman97b] Toman, D. A Point-based Temporal Extension of SQL Proc. DOOD'97.

[Toman96] Toman, D. Computing the Well-founded Semantics for Constraint Extensions of Datalog. Proc. CP'96 workshop on Constraint Databases, Cambridge, MA, LNCS 1191 (Constraint Databases and Applications).

[SSW95] Sagonas, Swift, and Warren. An Abstract Machine for the Well-Founded Semantics.