Search results for "PODS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michael Rabinovich, Edward D. Lazowska	A Fault-Tolerant Commit Protocol for Replicated Databases.	PODS	1992	DBLP DOI BibTeX RDF
1	Kenneth A. Ross, Yehoshua Sagiv	Monotonic Aggregation in Deductive Databases.	PODS	1992	DBLP DOI BibTeX RDF
1	Ashish Gupta 0001, Inderpal Singh Mumick	Magic-sets Transformation in Nonrecursive Systems.	PODS	1992	DBLP DOI BibTeX RDF	SQL, Datalog
1	Kenneth A. Ross	Relations with Relation Names as Arguments: Algebra and Calculus.	PODS	1992	DBLP DOI BibTeX RDF
1	Serge Abiteboul, Kevin J. Compton, Victor Vianu	Queries Are Easier Than You Thought (Probably).	PODS	1992	DBLP DOI BibTeX RDF
1	Thomas Eiter, Georg Gottlob	On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.	PODS	1992	DBLP DOI BibTeX RDF
1	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Implementing Deductive Databases by Linear Programming.	PODS	1992	DBLP DOI BibTeX RDF	C
1	Ron van der Meyden	The Complexity of Querying Indefinite Data about Linearly Ordered Domains.	PODS	1992	DBLP DOI BibTeX RDF
1	Man Hon Wong 0001, Divyakant Agrawal	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems.	PODS	1992	DBLP DOI BibTeX RDF
1	Christos H. Papadimitriou, Mihalis Yannakakis	Tie-Breaking Semantics and Structural Totality.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
1	Doron Rotem	Analysis of Disk Arm Movement for Large Sequential Reads.	PODS	1992	DBLP DOI BibTeX RDF
1	Sergio Greco, Carlo Zaniolo, Sumit Ganguly	Greedy by Choice.	PODS	1992	DBLP DOI BibTeX RDF
1	Jan Chomicki	Real-Time Integrity Constraints.	PODS	1992	DBLP DOI BibTeX RDF
1	Divyakant Agrawal, Amr El Abbadi, Richard Jeffers	An Approach to Eliminate Transaction Blocking in Locking Protocols.	PODS	1992	DBLP DOI BibTeX RDF
1	Edward P. F. Chan	Containment and Minimization of Positive Conjunctive Queries in OODB's.	PODS	1992	DBLP DOI BibTeX RDF
1	Ouri Wolfson, Sushil Jajodia	Distributed Algorithms for Dynamic Replication of Data.	PODS	1992	DBLP DOI BibTeX RDF
1	Shinichi Morishita	Avoiding Cartesian Products in Programs for Multiple Joins.	PODS	1992	DBLP DOI BibTeX RDF
1	John Turek, Dennis E. Shasha, Sundeep Prakash	Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking.	PODS	1992	DBLP DOI BibTeX RDF
1	Guozhu Dong	Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
1	Divesh Srivastava, Raghu Ramakrishnan 0001	Pushing Constraint Selections.	PODS	1992	DBLP DOI BibTeX RDF
1	Catriel Beeri	New Data Models and Languages - the Challenge.	PODS	1992	DBLP DOI BibTeX RDF
1	Catriel Beeri, Tova Milo	Functional and Predicative Programming in OODB's.	PODS	1992	DBLP DOI BibTeX RDF
1	Jan Van den Bussche, Dirk Van Gucht	Semi-determinism.	PODS	1992	DBLP DOI BibTeX RDF
1	Catriel Beeri, Raghu Ramakrishnan 0001, Divesh Srivastava, S. Sudarshan 0001	The Valid Model Semantics for Logic Programs.	PODS	1992	DBLP DOI BibTeX RDF
1	Anthony J. Bonner	The Complexity of Reusing and Modifying Rulebases.	PODS	1992	DBLP DOI BibTeX RDF	Datalog
1	Gabriel Matsliach	Performance Analysis of File Organizations that Use Multi-Bucket Data Leaves with Partial Expansions.	PODS	1991	DBLP DOI BibTeX RDF
1	Francesco M. Malvestuto, Marina Moscarini, Maurizio Rafanelli	Suppressing Marginal Cells to Protect Sensitive Information in a Two-Dimensional Statistical Table.	PODS	1991	DBLP DOI BibTeX RDF
1	Richard Hull 0001, Masatoshi Yoshikawa	On the Equivalence of Database Restructurings Involving Object Identifiers.	PODS	1991	DBLP DOI BibTeX RDF
1	Surajit Chaudhuri	Detecting Redundant Tuples During Query Evaluation.	PODS	1991	DBLP DOI BibTeX RDF
1	Håkan Jakobsson	Mixed-Approach Algorithms for Transitive Closure.	PODS	1991	DBLP DOI BibTeX RDF
1	Hector Garcia-Molina, Kenneth Salem	Non-Deterministic Queue Operations.	PODS	1991	DBLP DOI BibTeX RDF
1	Inderpal Singh Mumick, Hamid Pirahesh	Overbound and Right-Linear Queries.	PODS	1991	DBLP DOI BibTeX RDF
1	Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi	Tools for Datalog Boundedness.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
1	Otto Nurmi, Eljas Soisalon-Soininen	Uncoupling Updating and Rebalancing in Chromatic Binary Search Trees.	PODS	1991	DBLP DOI BibTeX RDF
1	Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis	On Datalog vs. Polynomial Time.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
1	Wei-hsing Wang, Eugene Pinsky, Meichun Hsu	Modeling Hot Spots In Database Systems.	PODS	1991	DBLP DOI BibTeX RDF
1	Marianne Baudinet, Marc Niézette, Pierre Wolper	On the Representation of Infinite Temporal Data and Queries.	PODS	1991	DBLP DOI BibTeX RDF
1	Kenneth A. Ross	On Negation in HiLog.	PODS	1991	DBLP DOI BibTeX RDF
1	Kirack Sohn, Allen Van Gelder	Termination Detection in Logic Programs using Argument Sizes.	PODS	1991	DBLP DOI BibTeX RDF
1	Jan Van den Bussche, Jan Paredaens	The Expressive Power of Structured Values in Pure OODB's.	PODS	1991	DBLP DOI BibTeX RDF
1	Kumar V. Vadaparty	On the Power of Rule-Based Languages with Sets.	PODS	1991	DBLP DOI BibTeX RDF
1	Jürgen Seib, Georg Lausen	Parallelizing Datalog Programs by Generalized Pivoting.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
1	Stéphane Grumbach, Victor Vianu	Tractable Query Languages for Complex Object Databases.	PODS	1991	DBLP DOI BibTeX RDF
1	Sumit Ganguly, Sergio Greco, Carlo Zaniolo	Minimum and Maximum Predicates in Logic Programming.	PODS	1991	DBLP DOI BibTeX RDF
1	Donald B. Johnson 0001, Larry Raab	A Tight Upper Bound on the Benefits of Replication and Consistency Control Protocols.	PODS	1991	DBLP DOI BibTeX RDF
1	S. Seshadri, Jeffrey F. Naughton	On the Expected Size of Recursive Datalog Queries.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
1	Alexander Brodsky 0001, Yehoshua Sagiv	Inference of Inequality Constraints in Logic Programs.	PODS	1991	DBLP DOI BibTeX RDF
1	Neil Immerman, Sushant Patnaik, David W. Stemple	The Expressiveness of a Family of Finite Set Languages.	PODS	1991	DBLP DOI BibTeX RDF
1	Richard Helm, Kim Marriott, Martin Odersky	Constraint-Based Query Optimization for Spatial Databases.	PODS	1991	DBLP DOI BibTeX RDF
1	Narayanan Krishnakumar, Arthur J. Bernstein	Bounded Ignorance in Replicated Systems.	PODS	1991	DBLP DOI BibTeX RDF
1	Laks V. S. Lakshmanan, Héctor J. Hernández	Structural Query Optimization - A uniform Framework for Semantic Query Optimization in Deductive Databases.	PODS	1991	DBLP DOI BibTeX RDF	Datalog
1	Catriel Beeri, Tova Milo	Subtyping in OODB's.	PODS	1991	DBLP DOI BibTeX RDF
1	Shalom Tsur	Deductive Databases in Action.	PODS	1991	DBLP DOI BibTeX RDF
1	Shaibal Roy	Semantic Complexity of Classes of Relational Queries and Query Independent Data Partitioning.	PODS	1991	DBLP DOI BibTeX RDF
1	Kenneth A. Ross	Modular Acyclicity and Tail Recursion in Logic Programs.	PODS	1991	DBLP DOI BibTeX RDF
1	Nandit Soparkar, Abraham Silberschatz	Data-value Partitioning and Virtual Messages.	PODS	1990	DBLP DOI BibTeX RDF
1	Mihalis Yannakakis	Graph-Theoretic Methods in Database Theory.	PODS	1990	DBLP DOI BibTeX RDF
1	Dan E. Willard	Quasilinear Algorithms for Processing Relational Calculus Expressions.	PODS	1990	DBLP DOI BibTeX RDF
1	Yatin P. Saraiya	Polynomial-Time Program Transformations in Deductive Databases.	PODS	1990	DBLP DOI BibTeX RDF
1	Kenneth A. Ross	Modular Stratification and Magic Sets for DATALOG Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
1	Jia-Huai You, Li-Yan Yuan	Three-Valued Formalization of Logic Programming: Is It Needed?	PODS	1990	DBLP DOI BibTeX RDF
1	Jean-Louis Lassez	Querying Constraints.	PODS	1990	DBLP DOI BibTeX RDF
1	Michael J. Carey 0001, Sanjay Krishnamurthi, Miron Livny	Load Control for Locking: The 'Half-and-Half' Approach.	PODS	1990	DBLP DOI BibTeX RDF
1	Slawomir Pilarski, Tiko Kameda	A Novel Checkpointing Scheme for Distributed Database Systems.	PODS	1990	DBLP DOI BibTeX RDF
1	John S. Schlipf	The Expressive Powers of the Logic Programming Semantics.	PODS	1990	DBLP DOI BibTeX RDF
1	Jayant R. Haritsa, Michael J. Carey 0001, Miron Livny	On Being Optimistic about Real-Time Constraints.	PODS	1990	DBLP DOI BibTeX RDF
1	Won Kim 0001	Research Directions in Object-Oriented Database Systems.	PODS	1990	DBLP DOI BibTeX RDF
1	Khaled A. S. Abdel-Ghaffar, Amr El Abbadi	On the Optimality of Disk Allocation for Cartesian Product Files.	PODS	1990	DBLP DOI BibTeX RDF
1	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
1	Alan D. Fekete, Nancy A. Lynch, William E. Weihl	A Serialization Graph Construction for Nested Transactions.	PODS	1990	DBLP DOI BibTeX RDF
1	Allen Van Gelder	Deriving Constraints Among Argument Sizes in Logic Programs.	PODS	1990	DBLP DOI BibTeX RDF
1	Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001	Magic Conditions.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
1	Richard J. Lipton, Jeffrey F. Naughton	Query Size Estimation by Adaptive Sampling.	PODS	1990	DBLP DOI BibTeX RDF
1	Jan Chomicki	Polynomial Time Query Processing in Temporal Deductive Databases.	PODS	1990	DBLP DOI BibTeX RDF
1	Gerhard Weikum, Christof Hasse, Peter Brössler, Peter Muth	Multi-Level Recovery.	PODS	1990	DBLP DOI BibTeX RDF
1	Theodore Johnson, Dennis E. Shasha	A Framework for the Performance Analysis of Concurrent B-tree Algorithms.	PODS	1990	DBLP DOI BibTeX RDF
1	Froduald Kabanza, Jean-Marc Stévenne, Pierre Wolper	Handling Infinite Temporal Data.	PODS	1990	DBLP DOI BibTeX RDF
1	Y. C. Tay	On the Optimality of Strategies for Multiple Joins.	PODS	1990	DBLP DOI BibTeX RDF
1	Thane E. Plambeck	Semigroup Techniques in Recursive Query Optimization.	PODS	1990	DBLP DOI BibTeX RDF
1	Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz	Constraint Query Languages.	PODS	1990	DBLP DOI BibTeX RDF
1	Va-On Tam, Meichun Hsu	Token Transactions: Managing Fine-Grained Migration of Data.	PODS	1990	DBLP DOI BibTeX RDF
1	Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller	Method Schemas.	PODS	1990	DBLP DOI BibTeX RDF
1	Mariano P. Consens, Alberto O. Mendelzon	GraphLog: a Visual Formalism for Real Life Recursion.	PODS	1990	DBLP DOI BibTeX RDF
1	Véronique Royer	Backward Chaining Evaluation in Stratified Disjunctive Theories.	PODS	1990	DBLP DOI BibTeX RDF	deductive data bases, negation by default, stratified data bases, query evaluation, fixpoint semantics, backward chaining
1	Lin Yu, Daniel J. Rosenkrantz	Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications.	PODS	1990	DBLP DOI BibTeX RDF
1	Walid G. Aref, Hanan Samet	Efficient Processing of Window Queries in The Pyramid Data Structure.	PODS	1990	DBLP DOI BibTeX RDF
1	Phokion G. Kolaitis, Moshe Y. Vardi	On the Expressive Power of Datalog: Tools and a Case Study.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
1	Charles Elkan	Independence of Logic Database Queries and Updates.	PODS	1990	DBLP DOI BibTeX RDF
1	Divyakant Agrawal, Amr El Abbadi	Locks with Constrained Sharing.	PODS	1990	DBLP DOI BibTeX RDF
1	Marc Gyssens, Jan Paredaens, Dirk Van Gucht	A Graph-Oriented Object Database Model.	PODS	1990	DBLP DOI BibTeX RDF
1	Serge Abiteboul, Eric Simon, Victor Vianu	Non-Deterministic Languages to Express Deterministic Transformations.	PODS	1990	DBLP DOI BibTeX RDF
1	Pratul Dublish, S. N. Maheshwari	Expressibility of Bounded-Arity Fixed-Point Query Hierarchies.	PODS	1989	DBLP DOI BibTeX RDF
1	Allen Van Gelder	The Alternating Fixpoint of Logic Programs with Negation.	PODS	1989	DBLP DOI BibTeX RDF
1	V. S. Lakshmanan 0001, Alberto O. Mendelzon	Inductive Pebble Games and the Expressive Power of Datalog.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
1	Theodore Johnson, Dennis E. Shasha	Utilization of B-trees with Inserts, Deletes and Modifies.	PODS	1989	DBLP DOI BibTeX RDF
1	Alfred Z. Spector	Modular Architectures for Distributed and Database Systems.	PODS	1989	DBLP DOI BibTeX RDF
1	Li-Yan Yuan, Ding-An Chiang	A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information.	PODS	1989	DBLP DOI BibTeX RDF
1	Richard Hull 0001, Jianwen Su	Untyped Sets, Invention, and Computable Queries.	PODS	1989	DBLP DOI BibTeX RDF
1	Gösta Grahne	Horn Tables - An Efficient Tool for Handling Incomplete Information in Databases.	PODS	1989	DBLP DOI BibTeX RDF
1	Y. C. Tay	Attribute Agreement.	PODS	1989	DBLP DOI BibTeX RDF

Publications at "PODS"( http://dblp.L3S.de/Venues/PODS )