Search results for "ICDT"

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

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