Logics for databases and information systems/ 
edited by Jan Chomicki and Gunter Saake. 
 - Boston:  Kluwer Academic Publishers,  c1998. 
 - xiii, 430 p.:  ill. ;  25 cm. 
<br/><br/>1. Introduction to Logics for Databases and Information Systems; J. Chomicki, G. Saake. 2. A Logic Primer; S. Conrad. 3. Temporal Logic in Information Systems; J. Chomicki, D. Toman. 4. The Role of Deontic Logic in the Specification of Information Systems; J.-J.Ch. Meyer, et al. 5. A Logic for Programming Database Transactions; A.J. Bonner, M. Kifer. 6. Logics for Specifying Concurrent Information Systems; H.-D. Ehrich, et al. 7. Evolving Logical Specification in Information Systems; S. Conrad, et al. 8. Description Logics for Conceptual Data Modeling; D. Calvanese, et al. 9. Integrity Constraints: Semantics and Applications; P. Godfrey, et al. 10. Logical Approaches to Incomplete Information: A Survey; R. van der Meyden. 11. Declarative Frameworks for Inheritance; L.V.S. Lakshmanan, K. Thirunarayan. 12. On Logical Foundations of Active Databases; G. Lausen, et al. Index.<br/> 
<br/><br/><label>ISBN: </label>0792381297   97807923812979 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic.<br/>Database management.
<br/><br/><label>Dewey Class. No.: </label>005.74  / CHO/L