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 |