HOME > Detail View

Detail View

Advances in database programming languages

Advances in database programming languages (Loan 1 times)

Material type
단행본
Personal Author
Bancilhon, Francois. Buneman, Peter, 1943-.
Title Statement
Advances in database programming languages / edited by Francois Bancilhon, Peter Buneman.
Publication, Distribution, etc
New York, N.Y. :   ACM Press ;   Reading, Mass. :   Addison-Wesley Pub. Co.,   c1990.  
Physical Medium
xvii, 457 p. : ill. ; 24 cm.
Series Statement
ACM Press frontier series.
ISBN
0201502577
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Database management.
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 B M

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


New Arrivals Books in Related Fields