Serge Abiteboul, Paris Kanellakis, Sridhar Ramaswamy, Emmanuel Waller  Home/Search
Context Related
Links: ACM DBLP | brown.edu/people/pck/Paper...schemas.ps belllabs.com/user/sridh...schema.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brown.edu/people/p...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A method schema is a simple programming formalism for object-oriented databases with features such as classes, methods, inheritance, name overloading, and late binding. An important problem is to check whether a given method schema can lead to an inconsistency in some interpretation. This consistency question is shown to be undecidable in general. Decidability is obtained for monadic and/or recursion-free method schemas. In particular, consistency of monadic method schemas is shown to be... (Update)
Context of citations to this paper: More
.... on the FOOPS language [17, 21] work by Beeri and Milo on algebraic foundations [8, 9, 10] and work by Abiteboul on method schemas [4, 3] (see [23, 9] for additional references in this whole area) However, it seems fair to say that no agreement has yet been reached on...
.... type consistency and type inference, can be pro tably exploited for restricted forms of reasoning on methods (Abiteboul, Kanellakis, Ramaswamy, Waller, 1992). 5.1 Syntax of an Object Oriented Model Below we de ne a simple object oriented language in the style of most...
Cited by: More
Methods and Views (Extended Abstract) - Van den Bussche, Waller (Correct)
Object-Oriented Database Evolution - Lagorce, Stockus, Waller (Correct)
Type-Safe Relaxing of Schema Consistency Rules for.. - Amiel, Bellosta.. (1996) (Correct)
Similar documents (at the sentence level):
11.5%: Functional Programming Formalisms for OODB Methods - Hillebrand, Kanellakis.. (1994) (Correct)
7.7%: Finite Model Theory in the Simply Typed Lambda Calculus - Hillebrand (1994) (Correct)
Active bibliography (related documents): More All
2.7: Method Schemas - Abiteboul, Kanellakis, Ramaswamy.. (1992) (Correct)
0.3: On the EXISTENCE of SPECIAL DEPTH FIRST SEARCH TREES - Korach, Ostfeld (Correct)
0.3: A 115-mW, 0.5- m CMOS GPS Receiver with Wide.. - Derek Shaeffer Student (Correct)
Similar documents based on text: More All
0.4: Methods and Rules - Serge Abiteboul Georg (1993) (Correct)
0.3: Space Usage in Functional Query Languages - Abiteboul, Hillebrand (1995) (Correct)
0.2: Indexing for Data Models with Classes and Constraints - Ramaswamy (1994) (Correct)
Related documents from co-citation: More All
4: Semantics and Implementation of Schema Evolution in Object-Oriented Databases (context) - Banerjee - 1987
4: Schema updates and consistency (context) - Waller - 1991
4: Object identity as a query language primitive (context) - Abiteboul, Kanellakis - 1989
BibTeX entry: (Update)
Abiteboul S, Kanellakis P, Waller E (1990) Method schemas. In: Proceedings of the Fourth ACM Symposium on the Principles of Database Systems, Nashville, 10 April http://citeseer.ist.psu.edu/article/abiteboul94method.html More
@inproceedings{ abiteboul90method,
author = "Serge Abiteboul and Paris C. Kanellakis and Emmanuel Waller",
title = "Method schemas",
pages = "16--27",
year = "1990",
url = "citeseer.ist.psu.edu/article/abiteboul94method.html" }
Citations (may not include all citations):492 Smalltalk80: The Language and its Implementation (context) - Goldberg, Robson - 1983
298 The ObjectOriented Database System Manifesto - Atkinson, Bancilhon et al. - 1989
280 Object Identity as a Query Language Primitive (context) - Abiteboul, Kanellakis - 1989 ACM DBLP
264 Semantics and Implementation of Schema Evolution in Object-O.. (context) - Banerjee, Kim et al. - 1987 ACM DBLP
210 Building an Object-Oriented Database System: The Story o (context) - Bancilhon, Delobel et al. - 1992
204 Querying Object-Oriented Databases - Kifer, Kim et al. - 1992
185 Principles of Database Systems (context) - Ullman - 1982
170 Nondeterministic Space is Closed Under Complement - Immerman - 1988
125 Object-Oriented Database Systems (context) - Bancilhon - 1988 ACM DBLP
122 Iris: an Object-Oriented Database Management System (context) - Fishman - 1987 ACM DBLP
122 Data Model Issues for Object-Oriented Applications (context) - Banerjee - 1987
111 Readings in Object-Oriented Database Systems (context) - Zdonik, Maier - 1990 ACM
103 Tree Acceptors and some of their Applications (context) - Doner - 1971 DBLP
85 Object-Oriented Concepts (context) - Kim, Lochovsky - 1989
66 A Framework for Schema Updates in an Object-Oriented Databas.. (context) - Zicari - 1992 ACM DBLP
65 The Circuit Value Problem is Logspace Complete for P (context) - Ladner
58 Type Evolution in an Object-Oriented Database (context) - Skarra, Zdonik - 1987 ACM DBLP
54 Ullman Introduction to Automata Theory (context) - Hopcroft - 1979
48 Towards a Mathematical Science of Computation (context) - McCarthy - 1962 DBLP
29 The Method of Forcing for Nondeterministic Automata (context) - Szelepcs'enyi - 1987
23 Automata Theory for Database Theoreticians (context) - Vardi - 1989 ACM
20 Handbook of Theoretical Computer Science (context) - Kanellakis, Relational - 1990 ACM
20 Theory of Program Structures: Schemes (context) - Greibach - 1975
16 Linear-time Simulation of Deterministic Two-way Pushdown Aut.. (context) - Cook - 1971
15 Schema Updates and Consistency (context) - Waller - 1991 DBLP
14 Handbook of Theoretical Computer Science (context) - Johnson, of et al. - 1990
10 On Accessing Object-Oriented Databases: Expressive Power (context) - Hull, Su - 1989
9 On Formalized Computer Programs (context) - Luckham, Park et al. - 1970
7 Behavior Analysis of Object-Oriented Databases: Method Struc.. (context) - Hull, Tanaka et al. - 1989
7 Type Systems for Querying Class Hierarchies with Non-strict .. (context) - Borgida - 1989
6 Research Directions in Object-Oriented Database Systems (context) - Kim - 1990
5 Decidable Properties of Monadic Functional Schemas (context) - Ashcroft, Manna et al. - 1973 ACM DBLP
5 Object Management Systems for Design Environments (context) - Zdonik - 1985 DBLP
3 Handbook of Theoretical Computer Science (context) - Courcelle, Program - 1990 ACM
3 private communication (context) - Hull - 1989
2 Bulletin of IEEE on Database Engineering (context) - Maier, Otis et al. - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://wilma.cs.brown.edu/people/pck/publications.html): More
Controlling Memory Access Concurrency in Efficient.. - Kanellakis.. (1993) (Correct)
Efficient Parallelism Vs Reliable Distribution: A.. - Kanellakis.. (1994) (Correct)
OODB Indexing by Class-Division - Sridhar Ramaswamy (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC