Logics for databases and information systems/ (Record no. 3572)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01365cam a2200313 a 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0792381297 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 97807923812979 |
040 ## - CATALOGING SOURCE | |
Transcribing agency | CUS |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.74 |
Item number | CHO/L |
245 00 - TITLE STATEMENT | |
Title | Logics for databases and information systems/ |
Statement of responsibility, etc. | edited by Jan Chomicki and Gunter Saake. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Boston: |
Name of publisher, distributor, etc. | Kluwer Academic Publishers, |
Date of publication, distribution, etc. | c1998. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xiii, 430 p.: |
Other physical details | ill. ; |
Dimensions | 25 cm. |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | 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/> |
650 #0 - SUBJECT | |
Keyword | Computer logic. |
650 #0 - SUBJECT | |
Keyword | Database management. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Chomicki, Jan. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Saake, Gunter, |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | General Books |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Accession number | Date last seen | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|
Central Library, Sikkim University | Central Library, Sikkim University | General Book Section | 24/06/2016 | 005.74 CHO/L | P19657 | 24/06/2016 | General Books |