Rana Farid Mikhail & Donald J Berndt 
AUTOMATED DATABASE APPLICATIONS …(V72) [PDF ebook] 
Specification Representation for Automated Reasoning

This book introduces Spec DB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. Spec DB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in Spec DB. The second is a reverse engineering tool that logs the actual execution of the program from the code.