-
3
-
-
0024737704
-
-
Vol 14, No. 3, 369-400
-
J. A. Blakeley, N. Coburn, and P. Larson. Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. In ACM TODS Vol 14, No. 3, 369-400, 1989.
-
(1989)
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates. In ACM TODS
-
-
Blakeley, J.A.1
Coburn, N.2
Larson, P.3
-
4
-
-
84976835570
-
-
TR Altair 68-91, Altair, France
-
Veronique Benzaken, Christophe Lecluse, and Philippe Richard. Enforcing Integrity Constraints in Database Programming Languages. TR Altair 68-91, Altair, France, 1991.
-
(1991)
Enforcing Integrity Constraints in Database Programming Languages
-
-
Benzaken, V.1
Lecluse, C.2
Richard, P.3
-
6
-
-
84976695703
-
Integrity Verification in Knowledge Bases
-
592, pages 114-139
-
F. Bry, R. Manthey, and B. Martens. Integrity Verification in Knowledge Bases. In Logic Programming, LNAI 592, pages 114-139, 1992.
-
(1992)
In Logic Programming, LNAI
-
-
Bry, F.1
Manthey, R.2
Martens, B.3
-
7
-
-
38249029923
-
Maintaining Materialized Views without Accessing Base Data
-
J. A. Blakeley and F. W. Tompa. Maintaining Materialized Views without Accessing Base Data. Information Systems, 13(4):393-406, 1988.
-
(1988)
Information Systems
, vol.13
, Issue.4
, pp. 393-406
-
-
Blakeley, J.A.1
Tompa, F.W.2
-
8
-
-
0003134527
-
Deriving Production Rules for Incremental View Maintenance
-
Stefano Ceri and Jennifer Widom. Deriving Production Rules for Incremental View Maintenance. In 17th VLDB, 1991.
-
(1991)
In 17th VLDB
-
-
Ceri, S.1
Widom, J.2
-
15
-
-
2342488536
-
Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach
-
John V. Harrison and Suzanne Dietrich. Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach. In Workshop on Deductive Databases, JICSLP, 1992.
-
(1992)
In Workshop on Deductive Databases, JICSLP
-
-
Harrison, J.V.1
Dietrich, S.2
-
16
-
-
84976662634
-
-
SQL2 and SQL3; X3H2; ISO/IEC JTC1/SC21/WG3
-
ISO-ANSI. ISO-ANSI Working Draft: Database Language SQL2 and SQL3; X3H2; ISO/IEC JTC1/SC21/WG3, 1990.
-
(1990)
-
-
-
17
-
-
85030485474
-
On the Efficient Computation of the Difference Between Consecutive Database States
-
566
-
V. Kuchenhoff. On the Efficient Computation of the Difference Between Consecutive Database States. In DOOD, LNCS 566, 1991.
-
(1991)
In DOOD, LNCS
-
-
Kuchenhoff, V.1
-
22
-
-
84976703203
-
Active rules based on object-oriented queries. To Appear
-
Torre Risch and Martin Sköld. Active rules based on object-oriented queries. To Appear, ACM TKDE, 1993.
-
(1993)
ACM TKDE
-
-
Risch, T.1
Sköld, M.2
-
24
-
-
0001486222
-
Alert: An Architecture for Transforming a Passive DBMS Into an Active DBMS
-
pages 469-478
-
Ulf Schreier, Hamid Pirahesh, Rakesh Agrawal, and C. Mohan. Alert: An Architecture for Transforming a Passive DBMS Into an Active DBMS. In 17th VLDB, pages 469-478, 1991.
-
(1991)
In 17th VLDB
-
-
Schreier, U.1
Pirahesh, H.2
Agrawal, R.3
Mohan, C.4
-
26
-
-
0042970288
-
A Method for Change Computation in Deductive Databases
-
pages 225-237
-
Toni Urpi and Antoni Olive. A Method for Change Computation in Deductive Databases. In 18th VLDB, pages 225-237, 1992.
-
(1992)
In 18th VLDB
-
-
Urpi, T.1
Olive, A.2
-
27
-
-
0022953195
-
Negation as failure using tight derivations for general logic programs
-
Springer-Verlag
-
Allen Van Gelder. Negation as failure using tight derivations for general logic programs. In Third IEEE Symposium on Logic Programming, 1986. Springer-Verlag.
-
(1986)
In Third IEEE Symposium on Logic Programming
-
-
Van Gelder, A.1
|