1. Abiteboul, S., Hull, R. and Vianu, V. (1995). Foundations of Databases. Addison Wesley, Reading, MA.
2. Agrawal, R.and Tanniru, M. (1991). A Petri-net Based Approach for Verifying the Integrity of Production Systems. Knowledge-Based Systems Verification, Validation a nd Testing Workshop Notes, AAAI’91, Anaheim CA.
3. Aiken, A., Widom, J. and Hellerstein (1992). Behavior of Database Production Rules: Termination, Confluence and Observable Determinism. Proceedings ACM SIGMOD, International conference on the Management of Data, pp 59–68.
4. ANSI, (1998). SQL3 drafts and discussion documents can be found at
ftp://speckle.mcsl.nist.gov
/isowg3/dbl.
5. Atkinson, M.P., et al., (1990). The Object-Oriented Database System Manifesto, in Kim, W., and Nicolas, J-M., and Nishio, S. eds., Deductive and Object-Oriented Databases, pp 223–239.