Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Elisa Bertino, Barbara Catania |
Static Analysis of Intensional Databases in U-Datalog. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Theodoridis, Timos K. Sellis |
A Model for the Prediction of R-tree Performance. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Fagin |
Combining Fuzzy Information from Multiple Systems. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christos H. Papadimitriou, Dan Suciu, Victor Vianu |
Topological Queries in Spatial Databases. |
PODS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grumbach, Jianwen Su |
Dense-Order Constraint Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Chandra Chekuri, Waqar Hasan, Rajeev Motwani 0001 |
Scheduling Problems in Parallel Query Optimization. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
SQL |
1 | Michel de Rougemont |
The Reliability of Queries. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Bernd-Uwe Pagel, Hans-Werner Six, Mario Winter |
Window Query-Optimal Clustering of Spatial Objects. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jan Chomicki, Gabriel M. Kuper |
Measuring Infinite Relations. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth A. Ross |
Structural Totality and Constraint Stratification. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Leonid Libkin |
Normalizing Incomplete Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, Divesh Srivastava |
Answering Queries Using Views. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Idit Keidar, Danny Dolev |
Increasing the Resilience of Atomic Commit at No Additional Cost. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christos H. Papadimitriou |
Database Metatheory: Asking the Big Queries. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mariano P. Consens, Tova Milo |
Algebras for Querying Text Regions. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anand Rajaraman, Yehoshua Sagiv, Jeffrey D. Ullman |
Answering Queries Using Templates with Binding Patterns. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
SQL |
1 | Paris C. Kanellakis |
Constraint Programming and Database Languages: A Tutorial. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | H. V. Jagadish, Alberto O. Mendelzon, Tova Milo |
Similarity-Based Queries. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vinay K. Chaudhri, Vassos Hadzilacos |
Safe Locking Policies for Dynamic Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
correctness issues, concurrency control |
1 | Ti-Pin Chang, Richard Hull 0001 |
Using Witness Generators to Support Bi-directional Update Between Object-Based Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
The Size of a Revised Knowledge Base. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Phokion G. Kolaitis |
Combinatorial Games In Database Theory. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Brodsky 0001, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher |
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
On the Complexity of Bounded-Variable Queries. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marc Andries, Luca Cabibbo, Jan Paredaens, Jan Van den Bussche |
Applying an Update Method to a Set of Receivers. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
SQL |
1 | Guozhu Dong, Jianwen Su |
Space-Bounded FOIES. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Picouet, Victor Vianu |
Semantics and Expressiveness Issues in Active Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Alon Y. Levy, Yehoshua Sagiv |
Semantic Query Optimization in Datalog Programs. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Giansalvatore Mecca, Anthony J. Bonner |
Sequences, Datalog and Transducers. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Alexei P. Stolboushkin, Michael A. Taitslin |
Finite Queries do not Have Effective Syntax. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | H. V. Jagadish, Inderpal Singh Mumick, Abraham Silberschatz |
View Maintenance Issues for the Chronicle Data Model. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
SQL |
1 | Peter T. Wood |
Magic Factoring of Closure Programs. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Nathan Goodman |
Research Problems in Genome Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Haas, Jeffrey F. Naughton, Arun N. Swami |
On the Relative Cost of Sampling for Join Selectivity Estimation. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grumbach, Jianwen Su |
Finitely Representable Databases. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jyrki Kivinen, Heikki Mannila |
The Power of Sampling in Knowledge Discovery. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sridhar Ramaswamy, Sairam Subramanian |
Path Caching: A Technique for Optimal External Searching. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David Harel |
Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey, S. Sudarshan 0001 |
Compiling Query Constraints. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh Agrawal 0001 |
Tutorial Database Mining. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom |
Constraint Checking with Partial Information. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Ling Tony Chen, Doron Rotem |
Optimal Response Time Retrieval of Replicated Data. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dan Suciu, Val Tannen |
A Query Language for NC. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerd G. Hillebrand, Paris C. Kanellakis |
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Latha S. Colby, Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht |
A Query Language for List-Based Complex Objects. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Inderpal Singh Mumick, Oded Shmueli |
Universal Finiteness and Satisfiability. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
1 | Sushant Patnaik, Neil Immerman |
Dyn-FO: A Parallel, Dynamic Complexity Class. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Christos Faloutsos, Ibrahim Kamel |
Beyond Uniformity and Independence: Analysis of R-trees Using the Concept of Fractal Dimension. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kirack Sohn |
Constraints among Argument Sizes in Logic Programs. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Foto N. Afrati |
Bounded Arity Datalog (!=) Queries on Graphs. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi |
Reducing Recovery Constraints on Locking based Protocols. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Diego Calvanese, Maurizio Lenzerini |
Making Object-Oriented Schemas More Expressive. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gösta Grahne, Matti Nykänen, Esko Ukkonen |
Reasoning about Strings in Databases. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Divyakant Agrawal, John L. Bruno, Amr El Abbadi, Vasudha Krishnaswamy |
Relative Serializbility: An Approach for Relaxing the Atomicity of Transactions. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dan Suciu, Jan Paredaens |
Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Georg Gottlob, Heikki Mannila |
Adding Disjunction to Datalog. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Val Tannen |
Tutorial: Languages for Collection Types. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
SQL |
1 | Leonid Libkin, Limsoon Wong |
New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Ohori, Keishi Tajima |
A Polymorphic Calculus for Views and Object Sharing. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alberto O. Mendelzon, Tova Milo, Emmanuel Waller |
Object Migration. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
C |
1 | Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht |
Towards a Theory of Spatial Database Queries. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gaston H. Gonnet |
Tutorial: Text Dominated Databases, Theory Practice and Experience. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Surajit Chaudhuri, Phokion G. Kolaitis |
Can Datalog be Approximated? |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Kien A. Hua, Sheau-Dong Lang, Wen K. Lee |
A Decomposition-Based Simulated Annealing Technique for Data Clustering. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Surajit Chaudhuri, Moshe Y. Vardi |
On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli |
Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Mark H. Nodine, Michael T. Goodrich, Jeffrey Scott Vitter |
Blocking for External Graph Searching. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yoav Raz |
Extended Commitment Ordering or Guaranteeing Global Serializability by Applying Commitment Order Selectivity to Global Transactions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peter Z. Revesz |
On the Semantics of Theory Change: Arbitration between Old and New Information. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
1 | Marco Schaerf |
Negation and Minimality in Non-Horn Databases. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Morishita |
An Alternating Fixpoint Tailored to Magic Programs. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Paris C. Kanellakis, Sridhar Ramaswamy, Darren Erik Vengroff, Jeffrey Scott Vitter |
Indexing for Data Models with Constraints and Classes. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen |
Reflective Programming in the Relational Algebra. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Martha Escobar-Molano, Richard Hull 0001, Dean Jacobs |
Safety and Translation of Calculus Queries with Scalar Functions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
1 | Leonid Libkin, Limsoon Wong |
Semantic Representations and Query Languages for Or-sets. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grumbach, Tova Milo |
Towards Tractable Algebras for Bags. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye |
Towards a Unified Theory of Concurrency Control and Recovery. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David Maier 0001, Bennet Vance |
A Call to Order. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Karl Denninghoff, Victor Vianu |
Database Method Schemas and Object Creation. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz |
Strict Histories in Object-Based Database Systems. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Rastogi, Sharad Mehrotra, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz |
On Correctness of Non-serializable Executions. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter, Georg Gottlob |
Complexity Aspects of Various Semantics for Disjunctive Databases. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Bernd-Uwe Pagel, Hans-Werner Six, Heinrich Toben, Peter Widmayer |
Towards an Analysis of Range Query Performance in Spatial Data Structures. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tirza Hirst, David Harel |
Completeness Results for Recursive Data Bases. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Allen Van Gelder |
Multiple Join Size Estimation by Virtual Domains. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Weidong Chen 0005, David Scott Warren |
Query Evaluation under the Well Founded Semantics. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jan Chomicki, Damian Niwinski |
On the Feasibility of Checking Temporal Integrity Constraints. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Surajit Chaudhuri, Moshe Y. Vardi |
Optimization of Real Conjunctive Queries. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
SQL |
1 | Peter J. Haas, Jeffrey F. Naughton, S. Seshadri, Arun N. Swami |
Fixed-Precision Estimation of Join Selectivity. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Surajit Chaudhuri |
Finding Nonrecursive Envelopes for Datalog Predicates. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Man Hon Wong 0001, Divyakant Agrawal |
Context-Based Synchronisation: An Approach beyond Semantics for Concurrency Control. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Limsoon Wong |
Normal Forms and Conservative Properties for Query Languages over Collection Types. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Seymour Ginsburg, Xiaoyang Sean Wang |
Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz |
Knowledgebase Transformations. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Allen Van Gelder |
The Well-Founded Semantics of Aggregation. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Surajit Chaudhuri, Moshe Y. Vardi |
On the Equivalence of Recursive and Nonrecursive Datalog Programs. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Russell Greiner |
Learning Efficient Query Processing Strategies. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Alon Y. Levy, Yehoshua Sagiv |
Constraints and Redundancy in Datalog. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
1 | Håkan Jakobsson |
On Tree-Based Techniques for Query Evaluation. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz |
Ensuring Transaction Atomicity in Multidatabase Systems. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
|