Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Eljas Soisalon-Soininen, Tatu Ylönen |
Partial Strictness in Two-Phase Locking. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ke Wang |
Some Positive Results for Boundedness of Multiple Recursive Rules. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Phokion G. Kolaitis |
Languages for Polynomial-Time Queries - An Ongoing Quest. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dan Suciu |
Domain-Independent Queries on Databases with External Functions. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Imielinski |
Data on Air - What's in it for the Database Theorist. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cabibbo |
On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Z. Revesz |
Datalog Queries of Set Constraint Databases. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Weikum |
Tutorial on Parallel Database Systems. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | V. Wiktor Marek, Miroslaw Truszczynski |
Revision Programming, Database Updates and Integrity Constraints. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Radek Vingralek, Haiyan Ye, Yuri Breitbart, Hans-Jörg Schek |
Unified Transaction Model for Semantically Rich Operations. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Guozhu Dong, Jianwen Su |
Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Yu. Sazonov, Alexei Lisitsa 0001 |
Delta-Languages for Sets and sub-PTIME Graphs Transformers. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yoav Raz |
The Dynamic Two Phase Commitment (D2PC) Protocol. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Tyszkiewicz |
On the Kolmogorov Expressive Power of Boolean Query Languages. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Lifschitz, Victor Vianu |
A Probabilistic View of Datalog Parallelization. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jan Paredaens |
Spatial Databases, The Final Frontier. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Saccà |
Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | César A. Galindo-Legaria, Arjan Pellenkoft, Martin L. Kersten |
Uniformly-Distributed Random Generation of Join Orders. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grumbach |
A Paradox in Database Theory. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jyrki Kivinen, Heikki Mannila |
Approximate Dependency Inference from Relations. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Finger, Dov M. Gabbay |
Updating Atomic Information in Labelled Database Systems. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Anatoly P. Pinchuk, Konstantin V. Shvachko |
Maintaining Dictionaries: Space-Saving Modifications of B-Trees. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Feder, Yatin P. Saraiya |
Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Håkan Jakobsson |
On Materializing Views and On-Line Queries. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul, Moshe Y. Vardi, Victor Vianu |
Computing with Infinitary Logic. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | M. Sh. Tsalenko |
Database Theory in Russia (1979-1991) (an overview). |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Val Tannen, Peter Buneman, Limsoon Wong |
Naturally Embedded Query Languages. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Monica D. Barback, Jorge Lobo 0001, James J. Lu |
Minimizing Indefinite Information in Disjunctive Deductive Databases. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
Hybrid Atomicity for Nested Transactions. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Guozhu Dong, Rodney W. Topor |
Incremental Evaluation of Datalog Queries. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian |
Declarative Foundations of Secure Deductive Databases. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | José Alberto Fernández, Jack Minker |
Semantics of Disjunctive Deductive Databases. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Man Hon Wong 0001, Divyakant Agrawal |
Context-Specific Synchronization for Atomic Data Types. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Beneventano, Sonia Bergamaschi |
Subsumption for Complex Object Data Models. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Biskup, Richard Hull 0001 (eds.) |
Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Chris Tuijn, Marc Gyssens |
Views and Decompositions of Databases from a Categorical Perspective. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel |
Identification, Genericity and Consistency in Object-Oriented Databases. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Christos H. Papadimitriou, Martha Sideri |
On Finding Extensions of Default Theories. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Gire |
Well Founded Semantics and Stable Semantics of Semi-Strict Programs. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dean Kuo |
Model and Verification of a Data Manager Based on ARIES. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gyula O. H. Katona |
Combinatorial and Algebraic Results for Database Relations. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Natraj Arni, Sergio Greco, Domenico Saccà |
Set-Term Matching in Logic Programming. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Marie Duzí |
Semantic Information Connected with Data. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | János Demetrovics, Lajos Rónyai, Hua nam Son |
On the Composition and Decomposition of Attributes and Tuples. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grumbach, Christophe Tollu |
Query Languages with Counters. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul, Allen Van Gelder |
Optimizing Active Databases using the Split Technique. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jan Van den Bussche, Dirk Van Gucht |
A Hierarchy of Faithful Set Creation in Pure OODB's. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Fabret, Mireille Régnier, Eric Simon |
Optimizing Incremental Computation of Datalog Programs with Non-deterministic Semantics. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Irène Guessarian |
Deciding Boundedness for Uniformly Connected Datalog Programs. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Uwe M. Borghoff |
Voting and Relocation Strategies Preserving Consistency among Replicated Files. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Grumbach, Victor Vianu |
Playing Games with Objects. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Grant E. Weddell, Neil Coburn |
A Theory of Specialization Constraints for Complex Objects. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brass |
Beginnings of a Theory of General Database Completions. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ouri Wolfson |
A Comparative Analysis of Two-Phase-Commit Protocols. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Ohori |
Representing Object Identity in a Pure Functional Language. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Decker |
Drawing Updates From Derivations. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jyrki Nummenmaa, Peter Thanisch |
Conjectures and Refutations in Database Design and Dependency Theory. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stephen J. Hegner |
Foundations of Canonical Update Support for Closed Database Views. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey F. Naughton, S. Seshadri |
On Estimating the Size of Projections. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Catriel Beeri, Yoram Kornatzky |
Algebraic Optimization of Object-Oriented Query Languages. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Fagin |
Finite-Model Theory - a Personal Perspective. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris |
Efficient Voting Protocols with Witnesses. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
voting, distributed file systems, replicated data, witnesses |
1 | Paul De Bra, Jan Paredaens |
Removing Redundancy and Updating Databases. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hervé Gallaire, Jean-Marie Nicolas 0001 |
Logic and Databases: An Assessment. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Marc H. Scholl, Hans-Jörg Schek |
A Relational Object Model. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri |
Complex Transitive Closure Queries on a Fragmented Graph. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Vassilis J. Tsotras, B. Gopinath |
Efficient Algorithms for Managing the History of Evolving Databases. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Peter Z. Revesz |
A Closed Form for Datalog Queries with Integer Order. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ghelli |
A Class Abstraction for a Hierarchical Type System. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Saumya K. Debray, Nai-Wei Lin |
Static Estimation of Query Sizes in Horn Programs. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Mariano P. Consens, Alberto O. Mendelzon |
Low Complexity Aggregation in GraphLog and Datalog. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul, Paris C. Kanellakis (eds.) |
ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Unland |
A Flexible and Adaptable Tool Kit Approach for Concurrency Control in Non Standard Database Systems. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Benzaken |
An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel M. Kuper |
On The Expressive Power of the Relational Calculus with Arithmetic Constraints. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Ron van der Meyden |
Recursively Indefinite Databases. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Matsliach, Oded Shmueli |
Maintaining Bounded Disorder Files in Multiprocessor Multi-Disk Environments. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Seppo Sippu, Eljas Soisalon-Soininen |
Multiple SIP Strategies and Bottom-Up Adorning in Logic Query Optimization. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Leigh Willard, Li-Yan Yuan |
The Revised Gärdenfors Postulates and Update Semantics. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Böttcher |
Improving the Concurrency of Integrity Checks and Write Operations. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Bidoit, P. Legay |
WELL!: An Evaluation Procedure for All Logic Programs. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Pratul Dublish, Joachim Biskup, Yehoshua Sagiv |
Optimizatioin of a Subclass of Conjunctive Queries. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Victor Vianu, Gottfried Vossen |
Conceptual Level Concurrency Control of Relational Update Transactions. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete |
A Theory of Atomic Transactions. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Fang Li, Lawrence V. Saxton |
Two-Way Join Optimization in Partitioned Database Systems. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Seymour Ginsburg, Stephen Kurtzman |
Object-History and Spreadsheet P-Simulation. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Udo W. Lipeck |
Transformation of Dynamic Integrity Constraints into Transaction Specifications. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
pre/postconditions, constraint simplification, integrity, monitoring, temporal logic, transactions, dynamic constraints, transition graphs |
1 | K. Vidyasankar, Christopher N. G. Dampney |
Version Consistency and Serializability in Design Databases. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Pratul Dublish, S. N. Maheshwari |
On O(N²) Equivalence Algorithm for Fan-Out Free Queries. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kifer, Ai Li |
On the Semantics of Rule-Based Expert Systems with Uncertainty. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Cheetham, B. John Oommen, David T. H. Ng |
On Using Conditional Rotation Operations to Adaptively Structure Binary Search Trees. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Guido Moerkotte, Stefan Karl |
Efficient Consistency Control in Deductive Databases. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Patrizia Asirelli, Paola Inverardi, A. Mustaro |
Improving Integrity Constraint Checking in Deductive Databases. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Dino Karabeg, Victor Vianu |
Parallel Update Transactions (Extended Abstract). |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul |
Updates, A New Frontier. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni |
Idempotent Single-Predicate Horn Clauses. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Ohori |
Semantics of Types for Database Objects. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Liz Sonenberg, Rodney W. Topor |
On Domain Independent Disjunctive Databases. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris |
Efficient Management of Replicated Data. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Eric Simon, Christophe de Maindreville |
Deciding Whether a Production Rule is Relational Computable. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|