Automated Database Applications Testing: Specification Representation for Automated Reasoning - Hardcoverby Rana Farid Mikhail (Author), Donald J. Berndt (Author), Abraham Kandel (Author) Front Jacket This book introduces SpecDB, 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. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule base