Conferences in DBLP
Allen Van Gelder The Alternating Fixpoint of Logic Programs with Negation. [Citation Graph (25, 17)][DBLP ] Conf ] Teodor C. Przymusinski Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. [Citation Graph (15, 15)][DBLP ] Conf ] Kenneth A. Ross A Procedural Semantics for Well Founded Negation in Logic Programs. [Citation Graph (10, 17)][DBLP ] Conf ] François Bry Logic Programming as Constructivism: A Formalization and its Application to Databases. [Citation Graph (10, 26)][DBLP ] Conf ] Tomasz Imielinski , Kumar V. Vadaparty Complexity of Query Processing in Databases with OR-Objects. [Citation Graph (10, 8)][DBLP ] 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 ] Conf ] Gösta Grahne Horn Tables - An Efficient Tool for Handling Incomplete Information in Databases. [Citation Graph (1, 14)][DBLP ] Conf ] Moshe Y. Vardi Automata Theory for Database Theoreticans. [Citation Graph (7, 21)][DBLP ] Conf ] Sanjay Manchanda Declarative Expression of Deductive Database Updates. [Citation Graph (6, 12)][DBLP ] Conf ] Paolo Atzeni , Riccardo Torlone Updating Databases in the Weak Instance Model. [Citation Graph (5, 17)][DBLP ] Conf ] Y. C. Tay Attribute Agreement. [Citation Graph (0, 11)][DBLP ] Conf ] Ke Wang Can Constant-time Maintainability Be More Practical? [Citation Graph (3, 15)][DBLP ] Conf ] Heikki Mannila , Kari-Jouko Räihä Practical Algorithms for Finding Prime Attributes and Testing Normal Forms. [Citation Graph (1, 11)][DBLP ] Conf ] Charles Elkan A Decision Procedure for Conjunctive Query Disjointness. [Citation Graph (4, 11)][DBLP ] Conf ] Jeffrey D. Ullman Bottom-Up Beats Top-Down for Datalog. [Citation Graph (15, 9)][DBLP ] Conf ] Hirohisa Seki On the Power of Alexander Templates. [Citation Graph (4, 14)][DBLP ] Conf ] Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] Conf ] Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi Proof-Tree Transformation Theorems and Their Applications. [Citation Graph (14, 12)][DBLP ] Conf ] Yatin P. Saraiya Linearizing Nonlinear Recursions in Polynomial Time. [Citation Graph (10, 14)][DBLP ] Conf ] Alexander Brodsky , Yehoshua Sagiv Inference of Monotonicity Constraints in Datalog Programs. [Citation Graph (10, 5)][DBLP ] Conf ] Simona Rabinovici-Cohen , Ouri Wolfson Why a Single Parallelization Strategy in not Enough in Knowledge Bases. [Citation Graph (11, 12)][DBLP ] Conf ] Alfred Z. Spector Modular Architectures for Distributed and Database Systems. [Citation Graph (2, 14)][DBLP ] Conf ] Doron Rotem Clustered Multiattribute Hash Files. [Citation Graph (1, 14)][DBLP ] Conf ] Theodore Johnson , Dennis Shasha Utilization of B-trees with Inserts, Deletes and Modifies. [Citation Graph (9, 4)][DBLP ] Conf ] Christos Faloutsos , Shari Roseman Fractals for Secondary Key Retrieval. [Citation Graph (22, 10)][DBLP ] Conf ] Christos Faloutsos , Dimitris N. Metaxas Declustering Using Error Correcting Codes. [Citation Graph (8, 8)][DBLP ] Conf ] William E. Weihl The Impact of Recovery on Concurrency Control. [Citation Graph (13, 18)][DBLP ] Conf ] Ada Wai-Chee Fu , Tiko Kameda Concurrency Control of Nested Transactions Accessing B-Trees. [Citation Graph (3, 12)][DBLP ] Conf ] Anthony J. Bonner Hypothetical Datalog: Negation and Linear Recursion. [Citation Graph (1, 15)][DBLP ] Conf ] V. S. Lakshmanan , Alberto O. Mendelzon Inductive Pebble Games and the Expressive Power of Datalog. [Citation Graph (6, 8)][DBLP ] Conf ] Stavros S. Cosmadakis On the First-Order Expressibility of Recursive Queries. [Citation Graph (1, 22)][DBLP ] Conf ] Pratul Dublish , S. N. Maheshwari Expressibility of Bounded-Arity Fixed-Point Query Hierarchies. [Citation Graph (2, 5)][DBLP ] Conf ] Zvi M. Kedem , Alexander Tuzhilin Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models. [Citation Graph (0, 9)][DBLP ] Conf ] Richard Hull , Jianwen Su Untyped Sets, Invention, and Computable Queries. [Citation Graph (24, 20)][DBLP ] Conf ] Christophe Lécluse , Philippe Richard Modeling Complex Structures in Object-Oriented Databases. [Citation Graph (29, 9)][DBLP ] Conf ] Weidong Chen , David Scott Warren C-Logic of Complex Objects. [Citation Graph (18, 17)][DBLP ] Conf ] Michael Kifer , James Wu A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). [Citation Graph (39, 29)][DBLP ] Conf ] Alexander Borgida Type Systems for Querying Class Hierarchies with Non-strict Inheritance. [Citation Graph (5, 9)][DBLP ] Conf ] 