![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. José Alberto Fernández 9 Julie Basu , José Alberto Fernández, Olga Peschansky : Building Scalable Internet Applications with Oracle8i Server. VLDB 2000 : 649 8 José Alberto Fernández, John Grant , Jack Minker : Model Theoretic Approach to View Updates in Deductive Databases. Journal of Automated Reasoning 17 (2): 171-197 (1996) 7 José Alberto Fernández, Jack Minker : Bottom-Up Compuation of Perfect Models for Disjunctive Theories. JLP 25 (1): 33-51 (1995) 6 Adnan H. Yahya , José Alberto Fernández, Jack Minker : Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. Journal of Automated Reasoning 13 (1): 117-143 (1994) 5 José Alberto Fernández, Jack Minker : Semantics of Disjunctive Deductive Databases. ICDT 1992 : 21-50 4 José Alberto Fernández, Jack Minker : Disjunctive Deductive Databases. LPAR 1992 : 332-356 3 Zahidul A. Khandaker , José Alberto Fernández, Jack Minker : A Tractable Class of Disjunctive Deductive Databases. Workshop on Deductive Databases, JICSLP 1992 : 11-20 2 José Alberto Fernández, Jack Minker : Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases. ICLP 1991 : 660-675 1 Maria Virginia Aponte , José Alberto Fernández, Philippe Roussel : Editing First-Order Proofs: Programmed Rules vs Derived Rules. SLP 1984 : 92-98 DiSC'01 Copyright ©2002 ACM Inc. |