Conferences in DBLP
Allen Van Gelder The Alternating Fixpoint of Logic Programs with Negation. [Citation Graph (25, 17)][DBLP ] PODS, 1989, pp:1-10 [Conf ] Teodor C. Przymusinski Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. [Citation Graph (15, 15)][DBLP ] PODS, 1989, pp:11-21 [Conf ] Kenneth A. Ross A Procedural Semantics for Well Founded Negation in Logic Programs. [Citation Graph (10, 17)][DBLP ] PODS, 1989, pp:22-33 [Conf ] François Bry Logic Programming as Constructivism: A Formalization and its Application to Databases. [Citation Graph (10, 26)][DBLP ] PODS, 1989, pp:34-50 [Conf ] Tomasz Imielinski , Kumar V. Vadaparty Complexity of Query Processing in Databases with OR-Objects. [Citation Graph (10, 8)][DBLP ] PODS, 1989, pp:51-65 [Conf ] Li-Yan Yuan , Ding-An Chiang A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. [Citation Graph (4, 7)][DBLP ] PODS, 1989, pp:66-74 [Conf ] Gösta Grahne Horn Tables - An Efficient Tool for Handling Incomplete Information in Databases. [Citation Graph (1, 14)][DBLP ] PODS, 1989, pp:75-82 [Conf ] Moshe Y. Vardi Automata Theory for Database Theoreticans. [Citation Graph (7, 21)][DBLP ] PODS, 1989, pp:83-92 [Conf ] Sanjay Manchanda Declarative Expression of Deductive Database Updates. [Citation Graph (6, 12)][DBLP ] PODS, 1989, pp:93-100 [Conf ] Paolo Atzeni , Riccardo Torlone Updating Databases in the Weak Instance Model. [Citation Graph (5, 17)][DBLP ] PODS, 1989, pp:101-109 [Conf ] Y. C. Tay Attribute Agreement. [Citation Graph (0, 11)][DBLP ] PODS, 1989, pp:110-119 [Conf ] Ke Wang Can Constant-time Maintainability Be More Practical? [Citation Graph (3, 15)][DBLP ] PODS, 1989, pp:120-127 [Conf ] Heikki Mannila , Kari-Jouko Räihä Practical Algorithms for Finding Prime Attributes and Testing Normal Forms. [Citation Graph (1, 11)][DBLP ] PODS, 1989, pp:128-133 [Conf ] Charles Elkan A Decision Procedure for Conjunctive Query Disjointness. [Citation Graph (4, 11)][DBLP ] PODS, 1989, pp:134-139 [Conf ] Jeffrey D. Ullman Bottom-Up Beats Top-Down for Datalog. [Citation Graph (15, 9)][DBLP ] PODS, 1989, pp:140-149 [Conf ] Hirohisa Seki On the Power of Alexander Templates. [Citation Graph (4, 14)][DBLP ] PODS, 1989, pp:150-159 [Conf ] Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [Conf ] Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi Proof-Tree Transformation Theorems and Their Applications. [Citation Graph (14, 12)][DBLP ] PODS, 1989, pp:172-181 [Conf ] Yatin P. Saraiya Linearizing Nonlinear Recursions in Polynomial Time. [Citation Graph (10, 14)][DBLP ] PODS, 1989, pp:182-189 [Conf ] Alexander Brodsky , Yehoshua Sagiv Inference of Monotonicity Constraints in Datalog Programs. [Citation Graph (10, 5)][DBLP ] PODS, 1989, pp:190-199 [Conf ] Simona Rabinovici-Cohen , Ouri Wolfson Why a Single Parallelization Strategy in not Enough in Knowledge Bases. [Citation Graph (11, 12)][DBLP ] PODS, 1989, pp:200-216 [Conf ] Alfred Z. Spector Modular Architectures for Distributed and Database Systems. [Citation Graph (2, 14)][DBLP ] PODS, 1989, pp:217-224 [Conf ] Doron Rotem Clustered Multiattribute Hash Files. [Citation Graph (1, 14)][DBLP ] PODS, 1989, pp:225-234 [Conf ] Theodore Johnson , Dennis Shasha Utilization of B-trees with Inserts, Deletes and Modifies. [Citation Graph (9, 4)][DBLP ] PODS, 1989, pp:235-246 [Conf ] Christos Faloutsos , Shari Roseman Fractals for Secondary Key Retrieval. [Citation Graph (22, 10)][DBLP ] PODS, 1989, pp:247-252 [Conf ] Christos Faloutsos , Dimitris N. Metaxas Declustering Using Error Correcting Codes. [Citation Graph (8, 8)][DBLP ] PODS, 1989, pp:253-258 [Conf ] William E. Weihl The Impact of Recovery on Concurrency Control. [Citation Graph (13, 18)][DBLP ] PODS, 1989, pp:259-269 [Conf ] Ada Wai-Chee Fu , Tiko Kameda Concurrency Control of Nested Transactions Accessing B-Trees. [Citation Graph (3, 12)][DBLP ] PODS, 1989, pp:270-285 [Conf ] Anthony J. Bonner Hypothetical Datalog: Negation and Linear Recursion. [Citation Graph (1, 15)][DBLP ] PODS, 1989, pp:286-300 [Conf ] V. S. Lakshmanan , Alberto O. Mendelzon Inductive Pebble Games and the Expressive Power of Datalog. [Citation Graph (6, 8)][DBLP ] PODS, 1989, pp:301-310 [Conf ] Stavros S. Cosmadakis On the First-Order Expressibility of Recursive Queries. [Citation Graph (1, 22)][DBLP ] PODS, 1989, pp:311-323 [Conf ] Pratul Dublish , S. N. Maheshwari Expressibility of Bounded-Arity Fixed-Point Query Hierarchies. [Citation Graph (2, 5)][DBLP ] PODS, 1989, pp:324-335 [Conf ] Zvi M. Kedem , Alexander Tuzhilin Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models. [Citation Graph (0, 9)][DBLP ] PODS, 1989, pp:336-346 [Conf ] Richard Hull , Jianwen Su Untyped Sets, Invention, and Computable Queries. [Citation Graph (24, 20)][DBLP ] PODS, 1989, pp:347-359 [Conf ] Christophe Lécluse , Philippe Richard Modeling Complex Structures in Object-Oriented Databases. [Citation Graph (29, 9)][DBLP ] PODS, 1989, pp:360-368 [Conf ] Weidong Chen , David Scott Warren C-Logic of Complex Objects. [Citation Graph (18, 17)][DBLP ] PODS, 1989, pp:369-378 [Conf ] Michael Kifer , James Wu A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). [Citation Graph (39, 29)][DBLP ] PODS, 1989, pp:379-393 [Conf ] Alexander Borgida Type Systems for Querying Class Hierarchies with Non-strict Inheritance. [Citation Graph (5, 9)][DBLP ] PODS, 1989, pp:394-400 [Conf ]