-
2
-
-
84976724088
-
COL: A logic-based language for complex objects
-
S. Abiteboul and S. Grumbach. COL: a Logic-based Language for Complex Objects. In Proc. EDBT, 271-293, 1988.
-
(1988)
Proc. EDBT
, pp. 271-293
-
-
Abiteboul, S.1
Grumbach, S.2
-
3
-
-
1542480508
-
An extensible rule-based language with complex objects and data-functions
-
Oregon To appear
-
S. Abiteboul, S. Grumbach, A. Voisard, and E. Waller. An Extensible Rule-based Language with Complex Objects and Data-functions. In Proc. DBPL-II Workshop, Oregon, 1989. To appear.
-
(1989)
Proc. DBPL-II Workshop
-
-
Abiteboul, S.1
Grumbach, S.2
Voisard, A.3
Waller, E.4
-
4
-
-
84976802358
-
IFO: A formal semantic database model
-
S. Abiteboul and R. Hull. IFO: A Formal Semantic Database Model. ACM TODS, 12:525-565, 1987.
-
(1987)
ACM TODS
, vol.12
, pp. 525-565
-
-
Abiteboul, S.1
Hull, R.2
-
5
-
-
0041571003
-
Data-functions, datalog and negation
-
S. Abiteboul and R. Hull. Data-functions, Datalog and Negation. In Proc. ACM SIGMOD, 143-153, 1988.
-
(1988)
Proc. ACM SIGMOD
, pp. 143-153
-
-
Abiteboul, S.1
Hull, R.2
-
7
-
-
0002901417
-
Procedural and declarative database update language
-
S. Abiteboul and V. Vianu. Procedural and Declarative Database Update Language. In Proc. ACM PODS, 240-250, 1988.
-
(1988)
Proc. ACM PODS
, pp. 240-250
-
-
Abiteboul, S.1
Vianu, V.2
-
8
-
-
0023535525
-
A transaction language complete for database update and specification
-
S. Abiteboul and V. Vianu. A Transaction Language Complete for Database Update and Specification. In Proc. ACM PODS, 260-268, 1987.
-
(1987)
Proc. ACM PODS
, pp. 260-268
-
-
Abiteboul, S.1
Vianu, V.2
-
9
-
-
0023361507
-
Types and persistence in database programming languages
-
June
-
M. Atkinson and P. Buneman. Types and Persistence in Database Programming Languages. ACM Computing Surveys, June 1987.
-
(1987)
ACM Computing Surveys
-
-
Atkinson, M.1
Buneman, P.2
-
10
-
-
0040324195
-
Object-oriented database systems
-
F. Bancilhon. Object-Oriented Database Systems. In Proc. ACM PODS, 152-162, 1988.
-
(1988)
Proc. ACM PODS
, pp. 152-162
-
-
Bancilhon, F.1
-
11
-
-
0042289965
-
2, an object-oriented database system
-
Badmunster RFA
-
2, an Object-Oriented Database System. In Proc. OODBS2 Workshop, Badmunster RFA, 1988.
-
(1988)
Proc. OODBS2 Workshop
-
-
Bancilhon, F.1
-
12
-
-
1542480505
-
Query languages for object-oriented database systems
-
Oregon To appear
-
F. Bancilhon, S. Cluet, and C. Delobel. Query Languages for Object-Oriented Database Systems. In Proc. DBPL-II Workshop, Oregon, 1989. To appear.
-
(1989)
Proc. DBPL-II Workshop
-
-
Bancilhon, F.1
Cluet, S.2
Delobel, C.3
-
14
-
-
0023246967
-
Data model issues for object-oriented applications
-
J. Banerjee et al. Data Model Issues for Object-Oriented Applications. ACM TOIS, 5:1:3-26, 1987.
-
(1987)
ACM TOIS
, vol.5
, Issue.1
, pp. 3-26
-
-
Banerjee, J.1
-
15
-
-
0023535520
-
Sets and negation in a logic database language (LDL1)
-
C. Beeri and al. Sets and Negation in a Logic Database Language (LDL1). In Proc. ACM PODS, 21-37, 1987.
-
(1987)
Proc. ACM PODS
, pp. 21-37
-
-
Beeri, C.1
-
16
-
-
0023961010
-
A semantics of multiple inheritance
-
L. Cardelli. A Semantics of Multiple Inheritance. Information and Computation, 76:138-164, 1988.
-
(1988)
Information and Computation
, vol.76
, pp. 138-164
-
-
Cardelli, L.1
-
18
-
-
0019072589
-
Computable queries for relational data bases
-
A. Chandra and D. Harel. Computable Queries for Relational Data Bases. JCSS, 21:2:156-178, 1980.
-
(1980)
JCSS
, vol.21
, Issue.2
, pp. 156-178
-
-
Chandra, A.1
Harel, D.2
-
19
-
-
0014797273
-
A relational model of data for large shared data banks
-
E.F. Codd. A Relational Model of Data for Large Shared Data Banks. CACM, 13:6:377-387, 1970.
-
(1970)
CACM
, vol.13
, Issue.6
, pp. 377-387
-
-
Codd, E.F.1
-
20
-
-
0018705521
-
Extending the database relational model to capture more meaning
-
T. Codd. Extending the Database Relational Model to Capture more Meaning. ACM TODS, 4:4:397-434, 1979.
-
(1979)
ACM TODS
, vol.4
, Issue.4
, pp. 397-434
-
-
Codd, T.1
-
21
-
-
49049127479
-
Fundamental properties of infinite trees
-
B. Courcelle. Fundamental Properties of Infinite Trees. TCS, 25, 95-169, 1983.
-
(1983)
TCS
, vol.25
, pp. 95-169
-
-
Courcelle, B.1
-
22
-
-
1542689861
-
Computable directory queries
-
LNCS 214, Springer-Verlag
-
E. Dahlaus and J. Makowski. Computable Directory Queries. In Proc. CAAP, 1986. LNCS 214, Springer-Verlag.
-
(1986)
Proc. CAAP
-
-
Dahlaus, E.1
Makowski, J.2
-
23
-
-
5844274057
-
Iris: An object-oriented database management system
-
D. Fishman et al. Iris: an Object-Oriented Database Management System. ACM TOIS, 5:1:46-69, 1987.
-
(1987)
ACM TOIS
, vol.5
, Issue.1
, pp. 46-69
-
-
Fishman, D.1
-
24
-
-
84945724174
-
Operators for non-first-normal-form relations
-
Chicago USA
-
P. Fischer and S. Thomas. Operators for Non-first-normal-form Relations. In Proc. COMPSAC, Chicago USA, 1983.
-
(1983)
Proc. COMPSAC
-
-
Fischer, P.1
Thomas, S.2
-
26
-
-
85032903545
-
Relative information capacity of simple relational schemata
-
R. Hull. Relative Information Capacity of Simple Relational Schemata. Siam J. of Computing, 15:3, 1986.
-
(1986)
Siam J. of Computing
, vol.15
, pp. 3
-
-
Hull, R.1
-
27
-
-
0024865297
-
Untyped sets, invention and computable queries
-
To appear
-
R. Hull and J. Su. Untyped Sets, Invention and Computable Queries. In Proc. ACM PODS 1989. To appear.
-
(1989)
Proc. ACM PODS
-
-
Hull, R.1
Su, J.2
-
28
-
-
85030000045
-
Remarks on the algebra of non-first-normal-form relations
-
B. Jaeschke and H.J. Schek. Remarks on the Algebra of Non-first-normal-form Relations. In Proc. ACM PODS, 124-138, 1982.
-
(1982)
Proc. ACM PODS
, pp. 124-138
-
-
Jaeschke, B.1
Schek, H.J.2
-
29
-
-
0002020664
-
-
Brown U. Technical Report To appear as a chapter in the Handbook of Theoretical Computer Science
-
P. Kanellakis. Elements of Relational Database Theory. Brown U. Technical Report, 1988. To appear as a chapter in the Handbook of Theoretical Computer Science.
-
(1988)
Elements of Relational Database Theory
-
-
Kanellakis, P.1
-
31
-
-
0024866797
-
A logic for object-oriented logic programming (Maier's O-logic: Revisited)
-
To appear
-
M. Kifer and J. Wu. A Logic for Object-Oriented Logic Programming (Maier's O-logic: Revisited). In Proc. ACM PODS, 1989. To appear.
-
(1989)
Proc. ACM PODS
-
-
Kifer, M.1
Wu, J.2
-
35
-
-
0023566001
-
Logic programming with sets
-
G.M. Kuper. Logic Programming with Sets. In Proc. ACM PODS, 11-20, 1987.
-
(1987)
Proc. ACM PODS
, pp. 11-20
-
-
Kuper, G.M.1
-
37
-
-
84976690515
-
A new approach to database logic
-
G.M. Kuper and M.Y. Vardi. A New Approach to Database Logic. In Proc. ACM PODS, 86-96, 1984.
-
(1984)
Proc. ACM PODS
, pp. 86-96
-
-
Kuper, G.M.1
Vardi, M.Y.2
-
38
-
-
0024858596
-
Modeling complex structures in object-oriented databases
-
To appear
-
C. Lecluse and P. Richard. Modeling Complex Structures in Object-Oriented Databases. In Proc. ACM PODS, 1989. To appear.
-
(1989)
Proc. ACM PODS
-
-
Lecluse, C.1
Richard, P.2
-
42
-
-
0022582868
-
The relational model with relation-valued attributes
-
H. Schek and M. Scholl. The Relational Model with Relation-valued Attributes. Information Systems, 1986.
-
(1986)
Information Systems
-
-
Schek, H.1
Scholl, M.2
-
43
-
-
0023586692
-
Database theory - Past and future
-
J.D. Ullman. Database Theory - Past and Future. In Proc. ACM PODS, 1-10, 1987.
-
(1987)
Proc. ACM PODS
, pp. 1-10
-
-
Ullman, J.D.1
|