Logics for databases and information systems/ edited by Jan Chomicki and Gunter Saake.
Material type: TextPublication details: Boston: Kluwer Academic Publishers, c1998Description: xiii, 430 p.: ill. ; 25 cmISBN: 0792381297 ; 97807923812979Subject(s): Computer logic | Database managementDDC classification: 005.74Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
General Books | Central Library, Sikkim University General Book Section | 005.74 CHO/L (Browse shelf(Opens below)) | Available | P19657 |
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.
There are no comments on this title.