Advances in Database Programming LanguagesFrançois Bancilhon, Peter Buneman ACM Press, 1990 - 457 Seiten This edited volume describes current attempts to understand and to develop database programming languages. Earlier efforts to combine database and programming-language technologies involved coupling one system with another (such as SQL embedded in C) or combining functionalities in one system (as in Pascal R). The most recent work, on which this book focuses, develops integrated systems from a new, integrated technology. It shows, for example, how large knowledge-based systems, using this new technology, provide a uniform way of programming, storing, and managing data. |
Inhalt
On the Relationship of Congruence Closure | 23 |
Class Hierarchies and Their Complexity | 43 |
Static and Dynamic Type Checking | 67 |
Urheberrecht | |
20 weitere Abschnitte werden nicht angezeigt.
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
abstract data types Abstract Type acyclic ADABTPL algorithm allow application attribute axioms behaviorally compatible Boolean Cardelli class hierarchy scheme clause coercers collection complete subtype Computer Science concepts concurrency congruence closure constraints constructor contains corresponding data model database programming database system defined definition denote domain dynamic type EmpId entity environment equivalence relation example execution expressions extended function graph implementation inference instance integers interpretation is-a is-a assertions is-instance-of iteration log-space logic mapping module MON(T multiple inheritance node object-oriented operations order-sorted algebra partial subtype persistent Person polymorphic predicate problem programming languages proof PROP PTIME query recursive relation relationship representation result rules run-time satisfiable Section semantic data model signature Sname sort specified static type string Student subset subsort supertype theorem tion transaction tree tuple type checking type inference type structure type system unification closure update variables