Search results for "database theory"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Mihalis Yannakakis	Perspectives on Database Theory.	FOCS	1995	DBLP DOI BibTeX RDF	database industry, data structures, data structures, abstractions, database management systems, database theory, database theory, relational model
2	Abhay Kumar Jha, Dan Suciu	Knowledge compilation meets database theory: compiling queries to decision diagrams.	ICDT	2011	DBLP DOI BibTeX RDF
2	Martin Grohe	From polynomial time queries to graph structure theory.	ICDT	2010	DBLP DOI BibTeX RDF
2	Kaoru Katayama, Tatsuro Okawara, Yuka Ito	A greedy algorithm for constructing a low-width generalized hypertree decomposition.	ICDT	2010	DBLP DOI BibTeX RDF
2	Meurig Beynon, Antony Harfield	Empirical Modelling in Support of Constructionist Learning: A Case Study from Relational Database Theory.	ICALT	2005	DBLP DOI BibTeX RDF
2	Carlos Gonzalia	Towards a Formalisation of Relational Database Theory in Constructive Type Theory.	RelMiCS	2003	DBLP DOI BibTeX RDF
2	Jinyan Li, See-Kiong Ng, Limsoon Wong	Bioinformatics Adventures in Database Research.	ICDT	2003	DBLP DOI BibTeX RDF
2	Rattikorn Hewett, John H. Leuchner	Knowledge Discovery with Second-Order Relations.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	Boolean function minimization, Data mining, Machine learning, Database theory
2	Dan Suciu	On Database Theory and XML.	SIGMOD Record	2001	DBLP DOI BibTeX RDF	XML
2	Jan Van den Bussche	Applications of Alfred Tarski's Ideas in Database Theory.	CSL	2001	DBLP DOI BibTeX RDF
2	Leonid Libkin	Expressive Power of SQL.	ICDT	2001	DBLP DOI BibTeX RDF
2	Nicole Schweikardt	The Natural Order-Generic Collapse for omega-Representable Databases over the Rational and the Real Ordered Group.	CSL	2001	DBLP DOI BibTeX RDF	Database Theory, Constructive Mathematics, Logic in Computer Science
2	Moshe Y. Vardi	Constraint Satisfaction and Database Theory: a Tutorial.	PODS	2000	DBLP DOI BibTeX RDF
2	Christos H. Papadimitriou	Novel Computational Approaches to Information Retrieval and Data Mining (Abstract).	ICDT	1999	DBLP DOI BibTeX RDF
2	Michael Benedikt, H. Jerome Keisler	Expressive Power of Unary Counters.	ICDT	1997	DBLP DOI BibTeX RDF
2	Gösta Grahne, Nicolas Spyratos, Daniel Stamate	Semantics and Containment with Internal and External Conjunctions.	ICDT	1997	DBLP DOI BibTeX RDF
2	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
2	Arnon Rosenthal, David S. Reiner	Tools and Transformations - Rigorous and Otherwise - for Practical Database Design.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	applications of database theory, data model translation, database equivalence, heuristics, normalization, database design, computer-aided software engineering, entity-relationship model, view integration, design heuristics
2	M. Sh. Tsalenko	Database Theory in Russia (1979-1991) (an overview).	ICDT	1992	DBLP DOI BibTeX RDF
2	Stéphane Grumbach	A Paradox in Database Theory.	ICDT	1992	DBLP DOI BibTeX RDF
2	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	A Constructive Logic Approach to Database Theory.	RCLP	1991	DBLP DOI BibTeX RDF
2	Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim	Efficient Algorithms for the Instantiated Transitive Closure Queries.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	instantiated transitive closure queries, delta -wavefront, super-TC, disk page, processed TC query, performance evaluation, performance evaluation, query languages, database theory, database theory, generic algorithm, wavefront, recursive queries
2	Rajiv M. Dewan, Bezalel Gavish	Models for the Combined Logical and Physical Design of Databases.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	integrated formulation, model, databases, NP-complete, database management systems, transactions, decomposition, database theory, database theory, physical design, mathematical program, combined logical
2	Doron Rotem, Arie Segev	Algorithms for Multidimensional Partitioning of Static Files.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multidimensional partitioning, static files, multidimensional file partitioning, search attribute space, physical disk locations, static algorithm, storage utilization, database management systems, database theory, database theory, range queries, file organisation, file organizations
2	Jeffrey D. Ullman	Database Theory: Past and Future.	PODS	1987	DBLP DOI BibTeX RDF
2	Henry F. Korth (eds.)	XP / 7.52 Workshop on Database Theory, University of Texas at Austin, TX, USA, August 13-15, 1986	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Guozhu Dong, Seymour Ginsburg	Localizable Constraints for Object Histories.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2		Title, Foreword, Program.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Yehoshua Sagiv	Optimizing Datalog Programs.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Michael Kifer, Eliezer L. Lozinskii	Can We Implement Logic as a Database System?	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Richard Hull	A Survey of Theoretical Research on Typed Complex Database Objects.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz	Safety of Recursive Horn Clauses With Function Symbols.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Naftaly H. Minsky, David Rozenshtein	Towards Controlling the Evolution of Large Software Systems or The DARWIN System.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	David Maier	Why Object-Oriented Databases Can Succeed Where Others Have Failed.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Ravi Krishnamurthy, Carlo Zaniolo	Safety and Optimization of Horn Clause Queries.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Van Nguyen, Kenneth J. Perry	Do We Really Know What Knowledge Is?	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Jeffrey F. Naughton	One-Sided Recursions.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Shamim A. Naqvi	A Logic for Negation in Database Systems.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Linda A. Ness	Reducing Linear Recursive Relations to Transitive Closure.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	David Maier, Jacob Stein, Allen Otis, Alan Purdy	Development of an Object-Oriented DBMS.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Oded Shmueli	Decidability and Expressiveness Aspects of Logic Queries.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	François Bancilhon, Catriel Beeri, Paris C. Kanellakis, Raghu Ramakrishnan	Pushing Selections into Logic Programs.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Naphtali Rishe	The Expressiveness of Logic-based Database Query Languages.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Henry F. Korth	Non-First-Normal-Form Relations Theory and Applications.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Z. Meral Özsoyoglu, Li-Yan Yuan	Notions of Dependency Preservation for Nested Relations.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Dirk Van Gucht, Patrick C. Fischer	High Level Data Manipulation Languages for Unnormalized Relational Database Models.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Jay Banerjee, Hyoung-Joo Kim, Won Kim, Henry F. Korth	Schema Evolution in Object-Oriented Persistent Databases.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Gabriel M. Kuper	Logic Programming with Sets.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Seymour Ginsburg, Chang-jie Tang	Cohesion of Object Histories.	XP7.52 Workshop on Database Theory	1986	DBLP BibTeX RDF
2	Peter Buneman, Atsushi Ohori	A Domain Theoretic Approach to Higher-Order Relations.	ICDT	1986	DBLP DOI BibTeX RDF
2		XP4.5 Workshop on Database Theory, 1983 Palo Alto, California, USA	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	Oded Shmueli	Dynamic View Maintenance.	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti	Joining Fragmented Relations in Distributed Databases.	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	Tomasz Imielinski	Updates in Logical Databases.	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	Moshe Y. Vardi	Second-Order Dependency Theory.	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	Stavros S. Cosmadakis, Paris C. Kanellakis	Functional and Inclusion Dependencies.	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	David Maier	Is Prolog a Database Language?	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	Edward Sciore	Prolog From a Database Point of View.	XP4.5 Workshop on Database Theory	1983	DBLP BibTeX RDF
2	Tomasz Imielinski, Witold Lipski Jr.	A Systematic Approach to Relational Database Theory.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
2	Paolo Atzeni, Douglas Stott Parker Jr.	Assumptions in Relational Database Theory.	PODS	1982	DBLP DOI BibTeX RDF
2	Jeffrey D. Ullman	A View of Directions in Relational Database Theory.	ICALP	1981	DBLP DOI BibTeX RDF
2		XP2 Workshop on Relational Database Theory, June 22-24 1981, The Pennsylvania State University, PA, USA	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Henry F. Korth	System/U: A Progress Report.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	David Maier, Jeffrey D. Ullman	Connections in Acyclic Hypergraphs.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Seymour Ginsburg, Richard Hull	Ordered Attribute Domains in the Relational Model.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Billie S. Goldstein	Constraining Values in a Relational Database.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Joachim Biskup	A Foundation of Codd's Relational Maybe-Operations.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	James Clifford, David Scott Warren	Formal Semantics for Time in Databases.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Peter Kandzia, Margret Mangelmann	The Use of Transitively Irreducible Kernels of Full Families of Functional Dependencies in Logical Data Base Design.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Tim Connors, Victor Vianu	Tableaux which Define Expression Mappings.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Paolo Atzeni, Douglas Stott Parker Jr.	Properties of acyclic database schemes: an analysis.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Heinz-Gerd Steiner	Functional Flow Graphs.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Jan Paredaens, Paul De Bra	On Horizontal Decompositions.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	David Maier, Jeffrey D. Ullman	Fragments of Relations: First Hack.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Donald W. Dearholt, G. Valdes	A Data Abstraction for Sequential Phenomena.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2		Program.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Marc H. Graham	Independence (Preliminary Report).	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	John Grant, Jack Minker	Numerical Dependencies.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Karen Chase	Join Graphs and Acyclic Hypergraphs.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Patrick C. Fischer, Jiann H. Jou, Don-Min Tsou	Succinctness in Dependency Systems.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Anthony C. Klug	Some Recent Work on Tableaux.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Nathan Goodman, Oded Shmueli	Hierarchies of Database State Reductions.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Nathan Goodman, Oded Shmueli	Syntactic Characterizations of Tree Database Schemas.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Seymour Ginsburg, Richard Hull	Characterization for Functional Dependency and Boyce-Codd Normal Form Databases.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Alberto O. Mendelzon	Database States and Their Tableaux.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	Richard Hull	Acyclic Join Dependency and Database Projections.	XP2 Workshop on Relational Database Theory	1981	DBLP BibTeX RDF
2	David Maier (eds.)	XP1 Workshop on Relational Database Theory, 30 June - 2 July 1980, SUNY at Stony Brook, NY, USA	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Yannis Vassiliou	Testing Satisfaction of FDs on a Multi-Relation Database ``fast''.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky	Embedded Implicational Dependencies and their Inference Problem.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Peter Honeyman	Testing Satisfaction of Functional Dependencies.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Edward Sciore	Some Observations on Real-World Data Dependencies.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Marc H. Graham	A New Proof that the Chase is a Church-Rosser Replacement System.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Catriel Beeri, Moshe Y. Vardi	Decision Problems for Data Dependencies.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Henry F. Korth, Jeffrey D. Ullman	System/U: A Database System Based on the Universal Relation Assumption.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2		Title, Foreword.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Ashok K. Chandra, David Harel	Structure and Complexity of Relational Queries.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Barry E. Jacobs	A Generalized Algebraic Data Manipulation Language and the Automatic Conversion of its Programs.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Jack Heller	The Abstract Data Types Used in the GRIPHOS Database System.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Jeffrey D. Ullman	Universal Instances.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF
2	Adrian Walker	Time and Space in a Lattice of Universal Relations with Blank Entries.	XP1 Workshop on Database Theory	1980	DBLP BibTeX RDF