-
2
-
-
0030125127
-
On the relative expressiveness of description logics and predicate logics
-
[Bor96]
-
[Bor96] Borgida, A. On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82, pp. 353-367, 1996.
-
(1996)
Artificial Intelligence
, vol.82
, pp. 353-367
-
-
Borgida, A.1
-
6
-
-
0346798692
-
HiLog: A first order semantics for higher order programming constructs
-
Morgan-Kaufmann, San Francisco. [C*89]
-
[C*89] Chen, W., M. Kifer, and D. S. Warren. HiLog: a first order semantics for higher order programming constructs, in Second Intl. Workshop on Database Programming Languages, Morgan-Kaufmann, San Francisco, 1989.
-
(1989)
Second Intl. Workshop on Database Programming Languages
-
-
Chen, W.1
Kifer, M.2
Warren, D.S.3
-
7
-
-
84949022885
-
-
Second Workshop on Next-Generation Information Technologies and Systems, Naharia, Israel, June, [GM*95]
-
[GM*95] Garcia-Molina, H., Y. Papakonstantinou, D. Quass, A. Rajaraman, Y. Sagiv, J. Ullman, and J. Widom. The TSIMMIS approach to mediation: data models and languages. Second Workshop on Next-Generation Information Technologies and Systems, Naharia, Israel, June, 1995.
-
(1995)
The TSIMMIS approach to mediation: Data models and languages
-
-
Garcia-Molina, H.1
Papakonstantinou, Y.2
Quass, D.3
Rajaraman, A.4
Sagiv, Y.5
Ullman, J.6
Widom, J.7
-
8
-
-
84949022886
-
-
[G96]
-
[G96] http://www-i.almaden.ibm.com/cs/showtell/garlic/Initpage.html
-
-
-
-
10
-
-
0023827554
-
On conjunctive queries containing inequalities
-
[Klug88]
-
[Klug88] Klug, A. On conjunctive queries containing inequalities. J. ACM 35:1, pp. 146-160, 1988.
-
(1988)
J. ACM
, vol.35
, Issue.1
, pp. 146-160
-
-
Klug, A.1
-
11
-
-
0029194729
-
Answering queries using views
-
[L*95]
-
[L*95] Levy, A., A. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. Proc. Fourteenth ACM Symposium on Principles of Database Systems, pp. 113-124, 1995.
-
(1995)
Proc. Fourteenth ACM Symposium on Principles of Database Systems
, pp. 113-124
-
-
Levy, A.1
Mendelzon, A.2
Sagiv, Y.3
Srivastava, D.4
-
15
-
-
0000301412
-
CARIN: A representation language combining Horn rules and description logics
-
Budapest, Aug., [LR96]
-
[LR96] Levy, A. Y. and M.-C. Rousset. CARIN: A representation language combining Horn rules and description logics. 13th European Conf. on AI, Budapest, Aug., 1996.
-
(1996)
13th European Conf. on AI
-
-
Levy, A.Y.1
Rousset, M.-C.2
-
17
-
-
0346020422
-
-
PhD thesis, Dept, of CS, Stanford University, [P96]
-
[P96] Papakonstantinou, Y. Query processing in heterogeneous information sources. PhD thesis, Dept, of CS, Stanford University, 1996.
-
(1996)
Query processing in heterogeneous information sources
-
-
Papakonstantinou, Y.1
-
19
-
-
0000776574
-
A query translation scheme for rapid implementation of wrappers. Fourth
-
Singapore, Dec., [P*95b]
-
[P*95b] Papakonstantinou, Y., A. Gupta, H. Garcia-Molina, and J. D. Ullman. A query translation scheme for rapid implementation of wrappers. Fourth DOOD, Singapore, Dec., 1995.
-
(1995)
DOOD
-
-
Papakonstantinou, Y.1
Gupta, A.2
Garcia-Molina, H.3
Ullman, J.D.4
-
21
-
-
0024859193
-
Proof tree transformation theorems and their applications
-
[R*89]
-
[R*89] Ramakrishnan, R., Y. Sagiv, J. D. Ullman, and M. Y. Vardi. Proof tree transformation theorems and their applications. Proc. Eighth ACM Symposium on Principles of Database Systems, pp. 172-181, 1989.
-
(1989)
Proc. Eighth ACM Symposium on Principles of Database Systems
, pp. 172-181
-
-
Ramakrishnan, R.1
Sagiv, Y.2
Ullman, J.D.3
Vardi, M.Y.4
-
22
-
-
0003829582
-
-
Doctoral Thesis, Dept, of CS, Stanford Univ., Jan., [Sar91]
-
[Sar91] Saraiya, Y. Subtree elimination algorithms in deductive databases. Doctoral Thesis, Dept, of CS, Stanford Univ., Jan., 1991.
-
(1991)
Subtree elimination algorithms in deductive databases
-
-
Saraiya, Y.1
-
24
-
-
84949022888
-
-
[T96]
-
[T96] http: //db. Stanford. edu/tsinraiis
-
-
-
-
27
-
-
0038842147
-
Assigning an appropriate meaning to database logic with negation
-
(H. Yamada, Y. Kambayashi, and S. Ohta, eds.), World Scientific Press. [U1194]
-
[U1194] Ullman, J. D. Assigning an appropriate meaning to database logic with negation, in Computers as Our Better Partners (H. Yamada, Y. Kambayashi, and S. Ohta, eds.), pp. 216-225, World Scientific Press.
-
Computers as Our Better Partners
, pp. 216-225
-
-
Ullman, J.D.1
-
30
-
-
0026836188
-
Mediators in the architecture of future information systems
-
[Wie92]
-
[Wie92] Wiederhold, G. Mediators in the architecture of future information systems. IEEE Computer 25:3, pp. 38-49, 1992.
-
(1992)
IEEE Computer
, vol.25
, Issue.3
, pp. 38-49
-
-
Wiederhold, G.1
-
32
-
-
0007465490
-
On efficient reasoning with implication constraints
-
[Z093]
-
[Z093] Zhang, X. and M. Z. Ozsoyoglu. On efficient reasoning with implication constraints. Proc. Third DOOD Conference, pp. 236-252.
-
Proc. Third DOOD Conference
, pp. 236-252
-
-
Zhang, X.1
Ozsoyoglu, M.Z.2
|