| 000 | 00854camuuu200253 a 4500 | |
| 001 | 000000089606 | |
| 005 | 19980601145403.0 | |
| 008 | 890630s1990 nyua b 001 0 eng | |
| 010 | ▼a 89037181 //r94 | |
| 020 | ▼a 0201502577 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d OCoLC | |
| 049 | 1 | ▼l 421111967 ▼f 과개 ▼l 421111968 ▼f 과개 |
| 050 | 0 0 | ▼a QA76.9.D3 ▼b A348 1989 |
| 082 | 0 0 | ▼a 005.74 ▼2 20 |
| 090 | ▼a 005.74 ▼b A244 | |
| 245 | 0 0 | ▼a Advances in database programming languages / ▼c edited by Francois Bancilhon, Peter Buneman. |
| 260 | 0 | ▼a New York, N.Y. : ▼b ACM Press ; ▼a Reading, Mass. : ▼b Addison-Wesley Pub. Co., ▼c c1990. |
| 300 | ▼a xvii, 457 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a ACM Press frontier series. |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Database management. |
| 700 | 1 0 | ▼a Bancilhon, Francois. |
| 700 | 1 0 | ▼a Buneman, Peter, ▼d 1943-. |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 005.74 A244 | Accession No. 421111967 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
CONTENTS Foreword = xiii Preface = xv 1 TYPES AND INHERITANCE 1 Construction and Calculus of Types for Database Systems / David Stemple ; Tim Sheard = 3 2 On the Relationship of Congruence Closure and Unification / Paris C. Kanellakis ; Peter Z. Revesz = 23 3 Class Hierarchies and Their Complexity / Maurizio Lenzerini = 43 4 Static and Dynamic Type Checking / David C. J. Matthews = 67 5 An Algebraic Model of Subtype and ingeritance / Kim B. Bruce ; Peter Wegner = 75 6 Orderings and Types in Databases / Atsushi Ohori = 97 7 Algorithms for Set Containment Inference / Paolo Atzeni ; D. Stott Parker Jr. = 117 Ⅱ IMPLEMENTATION ISSUES 8 Intensional Concepts in an Object Database Model / David Beeth = 131 9 The VISION Object-Oriented Database Management System / Michael Caruso ; Edward Sciore = 147 10 Implementing Functional Databases / Guy Argo ; John Hughes ; Philip Trinder ; Jon Fairbairn ; John Launchbury = 165 11 Date Abstraction and Transaction Processing in the Database Programming Lanuage RAPP / J. G.Hughes ; Michelle Connolly = 177 12 Integration Issues in Implementing Semantic Data Models / Brian Nixon ; John Mylopoulos = 187 Ⅲ OBJECT-ORIENTED SYSTEMS AND PERSISTENCE 13 Sharing Persistence and Object-Orientation A Database Perspective / Setrag Khoshafian ; Patrick Valduriez = 221 14 Polymorphic Names and Interations / Malcolm Atkinson ; Ronald Morrison = 241 15 O an Object-Oriented Data Model / Christophe Lecluse ; Philippe Richard ; Fernando Velez = 257 16 Object-Oriented Type Evolution / Stanly B. Zdonik = 277 17 Semantics for Transactions in Shared Object Worlds / J. Eliot B. Moss = 289 18 A Practial Language to Provide Persistience and a Rich Typing System / Deborah A. Baker ; David A. Fisher ; Jonathan C. Shultis = 295 Ⅳ LOGIC 19 Semantics of Updates in Logic Programming / Shamim Naqvi ; Ravi Krishnamurthy = 313 20 Control and Optimization Strategies in the Implementation of LDL / R. Krishnamurthy ; Carlo Zaniolo = 329 21 CDL A Logic-Based Language for Complex Objects / Sarge Abiteboul ; Stephane Grumbach = 347 Ⅴ DATABASE PROGRAMMING LANGUAGES 22 Representing Database Programs as Objects / David Maier = 377 23 Data and Knowledge Model A Proposal / Maurice A. W. Houtsma ; Peter M. G. Apers = 387 24 The Semantics of Update in a Functional Database Programming Language / Rishiyur S. Nikhil = 403 25 Toward a Formalism for Module Interconnection and Version Selection / Richard Hull ; Dean Jacobs = 423 26 Manipulating Complex Objects / M. Lacroix ; M. Vanhoedenaghe = 441
