ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Principles of database and knowledge-base systems, Vol. I
  Purchase this Book  
Source
Pages: 631  
Year of Publication: 1988
ISBN:0-88175-188-X
Author
Jeffrey D. Ullman  Stanford Univ., Stanford, CA
Publisher
Computer Science Press, Inc.  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 726
Additional Information:

cited by   index terms   review   collaborative colleagues  

Tools and Actions: Review this Book  

CITED BY  726
Mengchi Liu, Extending Datalog with Declarative Updates, Journal of Intelligent Information Systems, v.20 n.2, p.107-129, March 2003
Dorothea Beringer , Laurence Melloul , Gio Wiederhold, A reuse and composition protocol for services, Proceedings of the 1999 symposium on Software reusability, p.54-61, May 21-23, 1999, Los Angeles, California, United States
Dan Benson , Greg Zick, Symbolic and spatial database for structural biology, ACM SIGPLAN Notices, v.26 n.11, p.329-339, Nov. 1991
Richard Snodgrass , Karen Shannon, Fine grained data management to achieve evolution resilience in a software development environment, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.144-156, Dec. 1990
Serge Abiteboul , Sophie Cluet , Tova Milo, A database interface for file update, ACM SIGMOD Record, v.24 n.2, p.386-397, May 1995
Z. M. Kedem , A. Tuzhilin, Relational database behavior: utilizing relational discrete event systems and models, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.336-346, March 1989, Philadelphia, Pennsylvania, United States
Michael Kifer , Georg Lausen , James Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM (JACM), v.42 n.4, p.741-843, July 1995
David S. Wile, Adding relational abstraction to programming languages, ACM SIGSOFT Software Engineering Notes, v.15 n.4, p.128-139, Sep. 1990
J. D. Ullman, Bottom-up beats top-down for datalog, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.140-149, March 1989, Philadelphia, Pennsylvania, United States
Vladimir Zadorozhny , Louiqa Raschid , Maria Esther Vidal , Tolga Urhan , Laura Bright, Efficient evaluation of queries in a mediator for WebSources, Proceedings of the 2002 ACM SIGMOD international conference on Management of data, June 03-06, 2002, Madison, Wisconsin
Vladimir Zadorozhny , Louiqa Raschid , Maria Esther Vidal , Tolga Urhan , Laura Bright, Efficient evaluation of queries in a mediator for WebSources, Proceedings of the 2002 ACM SIGMOD international conference on Management of data, June 03-06, 2002, Madison, Wisconsin
Robert A. Huebner, The executive office of environmental affairs systems modernization project, Proceedings of the 19th annual conference on Computer Science, p.600-617, April 1991, San Antonio, Texas, United States
Robert A. Huebner, The executive office of environmental affairs systems modernization project, Proceedings of the 19th annual conference on Computer Science, p.600-617, April 1991, San Antonio, Texas, United States
Michael Benedikt , Leonid Libkin, Languages for relational databases over interpreted structures, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.87-98, May 11-15, 1997, Tucson, Arizona, United States
Fereidoon Sadri, Integrity Constraints in the Information Source Tracking Method, IEEE Transactions on Knowledge and Data Engineering, v.7 n.1, p.106-119, February 1995
Ashish Gupta , Yehoshua Sagiv , Jeffrey D. Ullman , Jennifer Widom, Constraint checking with partial information, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.45-55, May 24-27, 1994, Minneapolis, Minnesota, United States
Ashish Gupta , Sanjai Tiwari, Distributed constraint management for collaborative engineering databases, Proceedings of the second international conference on Information and knowledge management, p.655-664, November 01-05, 1993, Washington, D.C., United States
Yatin Saraiya, Projection-propagation in complex-object query languages, Proceedings of the second international conference on Information and knowledge management, p.413-422, November 01-05, 1993, Washington, D.C., United States
Evgeny Dantsin , Andrei Voronkov, Expressive power and data complexity of nonrecursive query languages for lists and trees (extended abstract), Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.157-165, May 15-18, 2000, Dallas, Texas, United States
Oliver M. Duschka , Michael R. Genesereth, Answering recursive queries using views, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.109-116, May 11-15, 1997, Tucson, Arizona, United States
Ross D. King, Applying inductive logic programming to predicting gene function, AI Magazine, v.25 n.1, p.57-68, Spring 2004
D. S. Rogers , E. A. Unger, A deterrent to linear system inferential attacks using a mediator, Proceedings of the 1994 ACM symposium on Applied computing, p.15-19, March 06-08, 1994, Phoenix, Arizona, United States
Dick Tsur , Jeffrey D. Ullman , Serge Abiteboul , Chris Clifton , Rajeev Motwani , Svetlozar Nestorov , Arnon Rosenthal, Query flocks: a generalization of association-rule mining, ACM SIGMOD Record, v.27 n.2, p.1-12, June 1998
Dick Tsur , Jeffrey D. Ullman , Serge Abiteboul , Chris Clifton , Rajeev Motwani , Svetlozar Nestorov , Arnon Rosenthal, Query flocks: a generalization of association-rule mining, ACM SIGMOD Record, v.27 n.2, p.1-12, June 1998
Mariano P. Consens , Tova Milo, Algebras for querying text regions (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.11-22, May 22-25, 1995, San Jose, California, United States
Rada Chirkova, The view-selection problem has an exponential-time lower bound for conjunctive queries and views, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin
Phokion G. Kolaitis , David L. Martin , Madhukar N. Thakur, On the complexity of the containment problem for conjunctive queries with built-in predicates, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.197-204, June 01-04, 1998, Seattle, Washington, United States
Dongwon Lee , Wesley W. Chu, Semantic caching via query matching for web sources, Proceedings of the eighth international conference on Information and knowledge management, p.77-85, November 02-06, 1999, Kansas City, Missouri, United States
Guozhu Dong , Jianwen Su, Space-bounded FOIES (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.139-150, May 22-25, 1995, San Jose, California, United States
D. Barbará , H. Garcia-Molina , D. Porter, The Management of Probabilistic Data, IEEE Transactions on Knowledge and Data Engineering, v.4 n.5, p.487-502, October 1992
Chen-Chuan K. Chang , Hector Garcia-Molina, Conjunctive constraint mapping for data translation, Proceedings of the third ACM conference on Digital libraries, p.49-58, June 23-26, 1998, Pittsburgh, Pennsylvania, United States
Sudha Ram, Deriving functional dependencies from the entity-relationship model, Communications of the ACM, v.38 n.9, p.95-111, Sept. 1995
Surajit Chaudhuri, Optimization of real conjunctive queries, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.59-70, May 25-28, 1993, Washington, D.C., United States
Ken Miyashita , Satoshi Matsuoka , Shin Takahashi , Akinori Yonezawa, Interactive generation of graphical user interfaces by multiple visual examples, Proceedings of the 7th annual ACM symposium on User interface software and technology, p.85-94, November 02-04, 1994, Marina del Rey, California, United States
Surajit Chaudhuri, Finding nonrecursive envelopes for Datalog predicate, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.135-146, May 25-28, 1993, Washington, D.C., United States
Suk-Chung Yoon , Lawrence J. Henschen , E. K. Park , Sam Makki, Using domain knowledge in knowledge discovery, Proceedings of the eighth international conference on Information and knowledge management, p.243-250, November 02-06, 1999, Kansas City, Missouri, United States
Jef Wijsen, Temporal FDs on complex objects, ACM Transactions on Database Systems (TODS), v.24 n.1, p.127-176, March 1999
Elisa Bertino , Elena Ferrari , Vijay Atluri, The specification and enforcement of authorization constraints in workflow management systems, ACM Transactions on Information and System Security (TISSEC), v.2 n.1, p.65-104, Feb. 1999
Nita Goyal , Charles Hoch , Ravi Krishnamurthy , Brian Meckler , Michael Suckow, Is GUI programming a database research problem?, ACM SIGMOD Record, v.25 n.2, p.517-528, June 1996
Raghu Ramakrishnan, Parallelism in logic programs, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.246-260, December 1989, San Francisco, California, United States
Georg Gottlob , Christoph Koch, Monadic datalog and the expressive power of languages for web information extraction, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin
Sergio Greco, Optimal unification of bound simple set-terms, Proceedings of the fifth international conference on Information and knowledge management, p.326-336, November 12-16, 1996, Rockville, Maryland, United States
Mengchi Liu, Deductive database languages: problems and solutions, ACM Computing Surveys (CSUR), v.31 n.1, p.27-62, March 1999
Xiaolei Qian, The deductive synthesis of database transactions, ACM Transactions on Database Systems (TODS), v.18 n.4, p.626-677, Dec. 1993
Michael Kifer, On the decidability and axiomatization of query finiteness in deductive databases, Journal of the ACM (JACM), v.45 n.4, p.588-633, July 1998
Michael Kifer, On the decidability and axiomatization of query finiteness in deductive databases, Journal of the ACM (JACM), v.45 n.4, p.588-633, July 1998
Alexander Tuzhilin, Templar: a knowledge-based language for software specifications using temporal logic, ACM Transactions on Information Systems (TOIS), v.13 n.3, p.269-304, July 1995
Donald Kossmann, The state of the art in distributed query processing, ACM Computing Surveys (CSUR), v.32 n.4, p.422-469, Dec. 2000
Surajit Chaudhuri , Phokion G. Kolaitis, Can Datalog be approximated?, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.86-96, May 24-27, 1994, Minneapolis, Minnesota, United States
Eugene Y. Sheng, A decompositional approach to database constraint enforcement, Proceedings of the 1993 ACM conference on Computer science, p.489-496, February 16-18, 1993, Indianapolis, Indiana, United States
Alon Y. Levy , Yehoshua Sagiv, Semantic query optimization in Datalog programs (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.163-173, May 22-25, 1995, San Jose, California, United States
M. Kifer , J. Wu, A logic for object-oriented logic programming, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-393, March 1989, Philadelphia, Pennsylvania, United States
Peter Z. Revesz, Safe query languages for constraint databases, ACM Transactions on Database Systems (TODS), v.23 n.1, p.58-99, March 1998
X. Sean Wang , Claudio Bettini , Alexander Brodsky , Sushil Jajodia, Logical design for temporal databases with multiple granularities, ACM Transactions on Database Systems (TODS), v.22 n.2, p.115-170, June 1997
Mark H. Nodine , Michael T. Goodrich , Jeffrey Scott Vitter, Blocking for external graph searching, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.222-232, May 25-28, 1993, Washington, D.C., United States
Martha Escobar-Molano , Richard Hull , Dean Jacobs, Safety and translation of calculus queries with scalar functions, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.253-264, May 25-28, 1993, Washington, D.C., United States
Sha Guo , Wei Sun , Mark A. Weiss, Solving satisfiability and implication problems in database systems, ACM Transactions on Database Systems (TODS), v.21 n.2, p.270-293, June 1996
Flavius Frasincar , Geert-Jan Houben , Cristian Pau, XAL: an algebra for XML query optimization, Australian Computer Science Communications, v.24 n.2, p.49-56, January-February 2002
Sihem Amer-Yahia , SungRan Cho , Laks V. S. Lakshmanan , Divesh Srivastava, Minimization of tree pattern queries, ACM SIGMOD Record, v.30 n.2, p.497-508, June 2001
Nikolay Mateev , Keshav Pingali , Paul Stodghill , Vladimir Kotlyar, Next-generation generic programming and its application to sparse matrix computations, Proceedings of the 14th international conference on Supercomputing, p.88-99, May 08-11, 2000, Santa Fe, New Mexico, United States
Yingwei Cui , Jennifer Widom , Janet L. Wiener, Tracing the lineage of view data in a warehousing environment, ACM Transactions on Database Systems (TODS), v.25 n.2, p.179-227, June 2000
R. van der Meyden, The complexity of querying indefinite data about linearly ordered domains, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.331-345, June 02-05, 1992, San Diego, California, United States
Wilfred Ng , Mark Levene, The development of ordered SQL packages to support data warehousing, Data warehousing and web engineering, IRM Press, Hershey, PA, 2002
Nawaaz Ahmed , Nikolay Mateev , Keshav Pingali, A framework for sparse matrix code synthesis from high-level specifications, Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM), p.58-es, November 04-10, 2000, Dallas, Texas, United States
Norbert Fuhr, Models in information retrieval, Lectures on information retrieval, Springer-Verlag New York, Inc., New York, NY, 2001
Prakash Ramanan, Efficient algorithms for minimizing tree pattern queries, Proceedings of the 2002 ACM SIGMOD international conference on Management of data, June 03-06, 2002, Madison, Wisconsin
H. V. Jagadish , Alberto O. Mendelzon , Tova Milo, Similarity-based queries, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.36-45, May 22-25, 1995, San Jose, California, United States
Kalervo Järvelin , Timo Niemi, Data conversion, aggregation and deduction for advanced retrieval from the heterogeneous fact databases, Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval, p.173-182, October 13-16, 1991, Chicago, Illinois, United States
Kalervo Järvelin , Timo Niemi, Data conversion, aggregation and deduction for advanced retrieval from the heterogeneous fact databases, Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval, p.173-182, October 13-16, 1991, Chicago, Illinois, United States
Anand Rajaraman , Jeffrey D. Ullman, Integrating information by outerjoins and full disjunctions (extended abstract), Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.238-248, June 04-06, 1996, Montreal, Quebec, Canada
Phokion G. Kolaitis , Moshe Y. Vardi, Conjunctive-query containment and constraint satisfaction, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.205-213, June 01-04, 1998, Seattle, Washington, United States
Suzanne W. Dietrich, Shortest path by approximation in logic programs, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.119-137, June 1992
Frank Neven , Dirk Van Gucht , Jan Van den Bussche , Gottfried Vossen, Typed query languages for databases containing queries, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.189-196, June 01-04, 1998, Seattle, Washington, United States
J. Wolfe, Ad Hoc Query: a reusable database access capability, Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada, p.17-27, July 1994, McLean, Virginia, United States
Alexandra Poulovassilis , Mark Levene, A nested-graph model for the representation and manipulation of complex objects, ACM Transactions on Information Systems (TOIS), v.12 n.1, p.35-68, Jan. 1994
Christos H. Papadimitriou , Mihalis Yannakakis, On the complexity of database queries (extended abstract), Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.12-19, May 11-15, 1997, Tucson, Arizona, United States
Richard Hull, Managing semantic heterogeneity in databases: a theoretical prospective, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.51-61, May 11-15, 1997, Tucson, Arizona, United States
Robert W.P. Luk , H. V. Leong , Tharam S. Dillon , Alvin T.S. Chan , W. Bruce Croft , James Allan, A survey in indexing and searching XML documents, Journal of the American Society for Information Science and Technology, v.53 n.6, p.415-437, May, 2002
Alon Levy , Yehoshua Sagiv, Constraints and redundancy in datalog, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.67-80, June 02-05, 1992, San Diego, California, United States
M. P. Consens , A. O. Mendelzon, Expressing structural hypertext queries in graphlog, Proceedings of the second annual ACM conference on Hypertext, p.269-292, November 1989, Pittsburgh, Pennsylvania, United States
Shinichi Morishita, Avoiding Cartesian products for multiple joins, Journal of the ACM (JACM), v.44 n.1, p.57-85, Jan. 1997
V. S. Lakshmanan , A. O. Mendelzon, Inductive pebble games and the expressive power of datalog, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.301-310, March 1989, Philadelphia, Pennsylvania, United States
Alexander Tuzhilin, Extending temporal logic to support high-level simulations, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.5 n.2, p.129-155, April 1995
Ashish Gupta , Inderpal S. Mumick , Kenneth A. Ross, Adapting materialized views after redefinitions, ACM SIGMOD Record, v.24 n.2, p.211-222, May 1995
Shinichi Morishita, An alternating fixpoint tailored to magic programs, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.123-134, May 25-28, 1993, Washington, D.C., United States
Alon Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli, Equivalence, query-reachability and satisfiability in Datalog extensions, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.109-122, May 25-28, 1993, Washington, D.C., United States
Moshe Y. Vardi, Constraint satisfaction and database theory: a tutorial, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.76-85, May 15-18, 2000, Dallas, Texas, United States
Victoria Ungureanu, An agreement centric access control mechanism for business to business e-commerce, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
Anand Rajaraman , Yehoshua Sagiv , Jeffrey D. Ullman, Answering queries using templates with binding patterns (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.105-112, May 22-25, 1995, San Jose, California, United States
Anand Rajaraman , Yehoshua Sagiv , Jeffrey D. Ullman, Answering queries using templates with binding patterns (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.105-112, May 22-25, 1995, San Jose, California, United States
S. Pan , R. G. Dromey, Beyond structured programming, Proceedings of the 18th international conference on Software engineering, p.268-277, March 25-29, 1996, Berlin, Germany
Seppo Sippu , Eljas Soisalon-Soininen, An analysis of magic sets and related optimization strategies for logic queries, Journal of the ACM (JACM), v.43 n.6, p.1046-1088, Nov. 1996
Seppo Sippu , Eljas Soisalon-Soininen, An analysis of magic sets and related optimization strategies for logic queries, Journal of the ACM (JACM), v.43 n.6, p.1046-1088, Nov. 1996
John L. Schnase , John J. Leggett , David L. Hicks , Ron L. Szabo, Semantic data modeling of hypermedia associations, ACM Transactions on Information Systems (TOIS), v.11 n.1, p.27-50, Jan. 1993
Martin Staudt , Christoph Quix , Manfred A. Jeusfeld, View maintenance and change notification for application program views, Proceedings of the 1998 ACM symposium on Applied Computing, p.220-225, February 27-March 01, 1998, Atlanta, Georgia, United States
Yehoshua Sagiv, Evaluation of queries in independent database schemes, Journal of the ACM (JACM), v.38 n.1, p.120-161, Jan. 1991
S. Manchanda, Declarative expression of deductive database updates, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.93-100, March 1989, Philadelphia, Pennsylvania, United States
Elena Baralis , Stefano Ceri , Stefano Paraboschi, Modularization techniques for active rules design, ACM Transactions on Database Systems (TODS), v.21 n.1, p.1-29, March 1996
Timothy Griffin , Leonid Libkin, Incremental maintenance of views with duplicates, ACM SIGMOD Record, v.24 n.2, p.328-339, May 1995
Serge Abiteboul, On views and XML, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-9, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
Serge Abiteboul, On views and XML, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-9, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
David S. Warren, Memoing for logic programs, Communications of the ACM, v.35 n.3, p.93-111, March 1992
Richard Hull , Jianwen Su, On accessing object-oriented databases: expressive power, complexity, and restrictions, ACM SIGMOD Record, v.18 n.2, p.147-158, June 1989
Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, ACM SIGMOD Record, v.18 n.2, p.159-173, June 1989
Timothy Griffin , Richard Hull, A framework for implementing hypothetical queries, ACM SIGMOD Record, v.26 n.2, p.231-242, June 1997
Yehoshua Sagiv , Oded Shmueli, Solving queries by tree projections, ACM Transactions on Database Systems (TODS), v.18 n.3, p.487-511, Sept. 1993
Jan Chomicki , Tomasz Imieliński, Finite representation of infinite query answers, ACM Transactions on Database Systems (TODS), v.18 n.2, p.181-223, June 1993
Jan Chomicki , Tomasz Imieliński, Finite representation of infinite query answers, ACM Transactions on Database Systems (TODS), v.18 n.2, p.181-223, June 1993
Stéphane Grumbach , Philippe Rigaux , Luc Segoufin, The DEDALE system for complex spatial queries, ACM SIGMOD Record, v.27 n.2, p.213-224, June 1998
Inki Hong , Miodrag Potkonjak , Ramesh Karri, Power optimization using divide-and-conquer techniques for minimization of the number of operations, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.4 n.4, p.405-429, Oct. 1999
R. Ramakrishnan , Y. Sagiv , J. D. Ullman , M. Y Vardi, Proof-tree transformation theorems and their applications, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.172-181, March 1989, Philadelphia, Pennsylvania, United States
Serge Abiteboul , Oliver M. Duschka, Complexity of answering queries using materialized views, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.254-263, June 01-04, 1998, Seattle, Washington, United States
Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian, Implementing deductive databases by mixed integer programming, ACM Transactions on Database Systems (TODS), v.21 n.2, p.238-269, June 1996
A. C. Manoharan , M. Manoharan, Beyond Turing: a knowledge based model relativistic Cn machine, Proceedings of the 1992 ACM annual conference on Communications, p.91-98, March 03-05, 1992, Kansas City, Missouri, United States
Mark Levene , George Loizou, Semantics for null extended nested relations, ACM Transactions on Database Systems (TODS), v.18 n.3, p.414-459, Sept. 1993
Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, ACM SIGCUE Outlook, v.26 n.4, p.14-34, Oct. 1998
José F. Aldana Montes , Mariemma I. Yagüe del Valle , Antonio C. Gómez Lora, Integrity issues in the Web: beyond distributed databases, Database integrity: challenges and solutions, Idea Group Publishing, Hershey, PA, 2002
R. E. da Silva , K. L. Wood , J. J. Beaman, An algebraic approach to geometric query processing in CAD/CAM applications, Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications, p.73-86, June 05-07, 1991, Austin, Texas, United States
Tomás Feder , Moshe Y. Vardi, Monotone monadic SNP and constraint satisfaction, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.612-622, May 16-18, 1993, San Diego, California, United States
Phillippe Picouet , Victor Vianu, Semantics and expressiveness issues in active databases (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.126-138, May 22-25, 1995, San Jose, California, United States
Serge Abiteboul , Georg Lausen , Heinz Uphoff , Emmanuel Waller, Methods and rules, ACM SIGMOD Record, v.22 n.2, p.32-41, June 1, 1993
Foto N. Afrati , Chen Li , Jeffrey D. Ullman, Generating efficient plans for queries using views, ACM SIGMOD Record, v.30 n.2, p.319-330, June 2001
Inderpal Singh Mumick , Sheldon J. Finkelstein , Hamid Pirahesh , Raghu Ramakrishnan, Magic conditions, ACM Transactions on Database Systems (TODS), v.21 n.1, p.107-155, March 1996
Divesh Srivastava , Raghu Ramakrishnan, Pushing constraint selections, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.301-315, June 02-05, 1992, San Diego, California, United States
Nick Bassiliades , Ioannis Vlahavas , Ahmed K. Elmagarmid, E-DEVICE: An Extensible Active Knowledge Base System with Multiple Rule Type Support, IEEE Transactions on Knowledge and Data Engineering, v.12 n.5, p.824-844, September 2000
Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki, Consistent query answers in inconsistent databases, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.68-79, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
A. Prasad Sistla , Ouri Wolfson, Temporal conditions and integrity constraints in active database systems, ACM SIGMOD Record, v.24 n.2, p.269-280, May 1995
Fernando Machuca , Marta Millán, Enhancing the exploitation of data mining in relational database systems via the rough sets theory including precision variables, Proceedings of the 1998 ACM symposium on Applied Computing, p.70-73, February 27-March 01, 1998, Atlanta, Georgia, United States
James Clifford , Albert Croker , Alexander Tuzhilin, On completeness of historical relational query languages, ACM Transactions on Database Systems (TODS), v.19 n.1, p.64-116, March 1994
Alanoly J. Andrews , Nematollaah Shiri , Laks V. S. Lakshmanan , Iyer N. Subramanian, On implementing SchemaLog—a database programming language, Proceedings of the fifth international conference on Information and knowledge management, p.309-316, November 12-16, 1996, Rockville, Maryland, United States
Behrooz Seyed-Abbassi, A SQL project as a learning method in a database course, Proceedings of the 1993 conference on Computer personnel research, p.291-297, April 01-03, 1993, St Louis, Missouri, United States
Chun-Nan Hsu , Craig A. Knoblock, Reformulating query plans for multidatabase systems, Proceedings of the second international conference on Information and knowledge management, p.423-432, November 01-05, 1993, Washington, D.C., United States
Thomas Reps, Shape analysis as a generalized path problem, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.1-11, June 21-23, 1995, La Jolla, California, United States
Catriel Beeri , Tova Milo, On the power of algebras with recursion, ACM SIGMOD Record, v.22 n.2, p.377-387, June 1, 1993
Shamim A. Naqvi , T. Imielinski , Madhur Kohli , K. Vadaparty, Speculative query evaluation over databases of plans, Proceedings of the second international conference on Information and knowledge management, p.439-450, November 01-05, 1993, Washington, D.C., United States
John Grant , Jack Minker, The impact of logic programming on databases, Communications of the ACM, v.35 n.3, p.66-81, March 1992
Jeffrey D. Ullman , Mihalis Yannakakis, The input/output complexity of transitive closure, ACM SIGMOD Record, v.19 n.2, p.44-53, Jun. 1990
Ke Wang , Weining Zhang , Siu-Cheung Chau, Decomposition of magic rewriting, Journal of the ACM (JACM), v.42 n.2, p.329-381, March 1995
Svetlozar Nestorov , Serge Abiteboul , Rajeev Motwani, Extracting schema from semistructured data, ACM SIGMOD Record, v.27 n.2, p.295-306, June 1998
Thane Plambeck, Semigroup techniques in recursive query optimization, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.145-153, April 02-04, 1990, Nashville, Tennessee, United States
S. B. Davidson , A. S. Kosky , B. Eckman, Facilitating transformations in a human genome project database, Proceedings of the third international conference on Information and knowledge management, p.423-432, November 29-December 02, 1994, Gaithersburg, Maryland, United States
John V. Harrison, Active rules in deductive databases, Proceedings of the second international conference on Information and knowledge management, p.174-183, November 01-05, 1993, Washington, D.C., United States
John V. Harrison, Active rules in deductive databases, Proceedings of the second international conference on Information and knowledge management, p.174-183, November 01-05, 1993, Washington, D.C., United States
Yuksel Uckan, Integrating logic programming into a data base course: views as rules in deductive relational data bases, ACM SIGCSE Bulletin, v.23 n.1, p.184-191, Mar. 1991
Premkumar T. Devanbu, Translating description logics to information server queries, Proceedings of the second international conference on Information and knowledge management, p.256-263, November 01-05, 1993, Washington, D.C., United States
Els Laenens , Domenico Sacca , Dirk Vermeir, Extending logic programming, ACM SIGMOD Record, v.19 n.2, p.184-193, Jun. 1990
Kenneth M. Anderson, Supporting industrial hyperwebs: lessons in scalability, Proceedings of the 21st international conference on Software engineering, p.573-582, May 16-22, 1999, Los Angeles, California, United States
Serge Abiteboul , Eric Simon , Victor Vianu, Non-deterministic languages to express deterministic transformations, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.218-229, April 02-04, 1990, Nashville, Tennessee, United States
Bernd Amann , Michel Scholl, Gram: a graph data model and query languages, Proceedings of the ACM conference on Hypertext, p.201-211, November 30-December 04, 1992, Milan, Italy
O. De Troyer, RIDL*: a tool for the computer-assisted engineering of large databases in the presence of integrity constraints, ACM SIGMOD Record, v.18 n.2, p.418-429, June 1989
D. Cantone , V. Cutello, A decidable fragment of the elementary theory of relations and some applications, Proceedings of the international symposium on Symbolic and algebraic computation, p.24-29, August 20-24, 1990, Tokyo, Japan
Sumit Ganguly , Sergio Greco , Carlo Zaniolo, Minimum and maximum predicates in logic programming, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.154-163, May 29-31, 1991, Denver, Colorado, United States
Marc Gyssens , Dirk van Gucht, A uniform approach toward handling atomic and structured information in the nested relational database model, Journal of the ACM (JACM), v.36 n.4, p.790-825, Oct. 1989
S. Sudarshan , Divesh Srivastava , Raghu Ramakrishnan , Jeffrey F. Naughton, Space optimization in the bottom-up evaluation of logic programs, ACM SIGMOD Record, v.20 n.2, p.68-77, June 1991
Moshe Y. Vardi, On the complexity of bounded-variable queries (extended abstract), Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.266-276, May 22-25, 1995, San Jose, California, United States
D. Motzkin , E. Jarrett , D. Hager , M. Kerstetter, On concurrent execution of information systems applications, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.775-781, February 14-16, 1993, Indianapolis, Indiana, United States
Georg Gottlob , Nicola Leone , Francesco Scarcello, Hypertree decompositions and tractable queries, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.21-32, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
Chih-Kan Wang , Duu-Chung Tsou , Rwo-Hsi Wang , James C. Browne , Aloysius K. Mok, Automated analysis of bounded response time for two NASA expert systems, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.147-161, Dec. 1991
Jeffrey F. Naughton, Compiling separable recursions, ACM SIGMOD Record, v.17 n.3, p.312-319, June 1988
Ashish Gupta , Inderpal Singh Mumick, Magic-sets transformation in nonrecursive systems, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.354-367, June 02-05, 1992, San Diego, California, United States
Ashish Gupta , Inderpal Singh Mumick , V. S. Subrahmanian, Maintaining views incrementally, ACM SIGMOD Record, v.22 n.2, p.157-166, June 1, 1993
Serge Abiteboul , Oliver M. Duschka, Complexity of answering queries using materialized views, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.254-263, June 01-04, 1998, Seattle, Washington, United States
Alon Y. Halevy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli, Static analysis in datalog extensions, Journal of the ACM (JACM), v.48 n.5, p.971-1012, September 2001
Alon Y. Halevy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli, Static analysis in datalog extensions, Journal of the ACM (JACM), v.48 n.5, p.971-1012, September 2001
Haim Gaifman , Harry Mairson , Yehoshua Sagiv , Moshe Y. Vardi, Undecidable optimization problems for database logic programs, Journal of the ACM (JACM), v.40 n.3, p.683-713, July 1993
Yangjun Chen , Theo Härder, An optimal graph traversal algorithm for evaluating linear binary-chain programs, Proceedings of the third international conference on Information and knowledge management, p.34-41, November 29-December 02, 1994, Gaithersburg, Maryland, United States
Colin Bell , Anil Nerode , Raymond T. Ng , V. S. Subrahmanian, Mixed integer programming methods for computing nonmonotonic deductive databases, Journal of the ACM (JACM), v.41 n.6, p.1178-1215, Nov. 1994
Y. C. Tay, On the optimality of strategies for multiple join, Journal of the ACM (JACM), v.40 n.5, p.1067-1086, Nov. 1993
F. Cacace , S. Ceri , S. Crespi-Reghizzi , L. Tanca , R. Zicari, Integrating object-oriented data modelling with a rule-based programming paradigm, ACM SIGMOD Record, v.19 n.2, p.225-236, Jun. 1990
Diane Crawford, Technical correspondence, Communications of the ACM, v.36 n.10, p.19, Oct. 1993
Behrooz Seyed-Abbassi, Object oriented relational database with SQL interface, Proceedings of the 1993 ACM conference on Computer science, p.497-504, February 16-18, 1993, Indianapolis, Indiana, United States
Chen Li , Edward Chang, Answering queries with useful bindings, ACM Transactions on Database Systems (TODS), v.26 n.3, p.313-343, September 2001
Jyrki Kivinen , Heikki Mannila, The power of sampling in knowledge discovery, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.77-85, May 24-27, 1994, Minneapolis, Minnesota, United States
H. V. Jagadish , Mark A. Jones , Divesh Srivastava , Dimitra Vista, Flexible list management in a directory, Proceedings of the seventh international conference on Information and knowledge management, p.10-19, November 02-07, 1998, Bethesda, Maryland, United States
Michael Johnson , C. N. G. Dampney, On category theory as a (meta) ontology for information systems research, Proceedings of the international conference on Formal Ontology in Information Systems, p.59-69, October 17-19, 2001, Ogunquit, Maine, USA
Dan E. Willard, Quasilinear algorithms for processing relational calculus expressions (preliminary report), Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.243-257, April 02-04, 1990, Nashville, Tennessee, United States
David Tanzer , Dennis Shasha, Queryable acyclic production systems, Proceedings of the eighth international conference on Information and knowledge management, p.284-291, November 02-06, 1999, Kansas City, Missouri, United States
David Tanzer , Dennis Shasha, Queryable acyclic production systems, Proceedings of the eighth international conference on Information and knowledge management, p.284-291, November 02-06, 1999, Kansas City, Missouri, United States
X. Sean Wang , Sushil Jajodia , V. S. Subrahmanian, Temporal modules: an approach toward federated temporal databases, ACM SIGMOD Record, v.22 n.2, p.227-236, June 1, 1993
Inderpal Bhandari , Norman Roth, Post-process feedback with and without attribute focusing: a comparative evaluation, Proceedings of the 15th international conference on Software Engineering, p.89-98, May 17-21, 1993, Baltimore, Maryland, United States
Stavros Cosmadakis, Inherent complexity of recursive queries, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.148-154, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
Lauri Hella , Leonid Libkin , Juha Nurmonen , Limsoon Wong, Logics with aggregate operators, Journal of the ACM (JACM), v.48 n.4, p.880-907, July 2001
Alex Dekhtyar , Robert Ross , V. S. Subrahmanian, Probabilistic temporal databases, I: algebra, ACM Transactions on Database Systems (TODS), v.26 n.1, p.41-95, March 2001
S. Greco , N. Leone , P. Rullo, COMPLEX: An Object-Oriented Logic Programming System, IEEE Transactions on Knowledge and Data Engineering, v.4 n.4, p.344-359, August 1992
Norbert Fuhr, Probabilistic Datalog—a logic for powerful retrieval methods, Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval, p.282-290, July 09-13, 1995, Seattle, Washington, United States
Surajit Chaudhuri , Moshe Y. Vardi, On the equivalence of recursive and nonrecursive datalog programs, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.55-66, June 02-05, 1992, San Diego, California, United States
Serge Abiteboul , Kevin Compton , Victor Vianu, Queries are easier than you thought (probably), Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.23-32, June 02-05, 1992, San Diego, California, United States
Yingsha Liao , Donald Cohen, A Specificational Approach to High Level Program Monitoring and Measuring, IEEE Transactions on Software Engineering, v.18 n.11, p.969-978, November 1992
Henk Ernst Blok , Djoerd Hiemstra , Sunil Choenni , Franciska de Jong , Henk M. Blanken , Peter M.G. Apers, Predicting the cost-quality trade-off for information retrieval queries: facilitating database design and query optimization, Proceedings of the tenth international conference on Information and knowledge management, October 05-10, 2001, Atlanta, Georgia, USA
Heikki Mannila , Dmitry Pavlov , Padhraic Smyth, Prediction with local patterns using cross-entropy, Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining, p.357-361, August 15-18, 1999, San Diego, California, United States
Edward P. F. Chan, Containment and minimization of positive conjunctive queries in OODB's, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.202-211, June 02-05, 1992, San Diego, California, United States
Henrik Nottelmann , Norbert Fuhr, Learning probabilistic datalog rules for information classification and transformation, Proceedings of the tenth international conference on Information and knowledge management, October 05-10, 2001, Atlanta, Georgia, USA
Seymour Ginsburg , Xiaoyang Wang, Pattern matching by Rs-operations: towards a unified approach to querying sequenced data, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.293-300, June 02-05, 1992, San Diego, California, United States
Shinichi Morishita, Avoiding Cartesian products in programs for multiple joins (extended abstract), Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.368-379, June 02-05, 1992, San Diego, California, United States
Shinichi Morishita, Avoiding Cartesian products in programs for multiple joins (extended abstract), Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.368-379, June 02-05, 1992, San Diego, California, United States
Limsoon Wong, The functional guts of the Kleisli query system, ACM SIGPLAN Notices, v.35 n.9, p.1-10, Sept. 2000
Gopal Gupta , Enrico Pontelli , Khayri A.M. Ali , Mats Carlsson , Manuel V. Hermenegildo, Parallel execution of prolog programs: a survey, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.4, p.472-602, July 2001
Elisa Bertino , Barbara Catania, Static analysis of intensional databases in U-Datalog (extended abstract), Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.202-212, June 04-06, 1996, Montreal, Quebec, Canada
Wilfred Ng, An extension of the relational data model to incorporate ordered domains, ACM Transactions on Database Systems (TODS), v.26 n.3, p.344-383, September 2001
Y. C. Tay, On the optimality of strategies for multiple joins, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.124-131, April 02-04, 1990, Nashville, Tennessee, United States
Ashish Gupta , Jennifer Widom, Local verification of global integrity constraints in distributed databases, ACM SIGMOD Record, v.22 n.2, p.49-58, June 1, 1993
Charles Elkan, Independence of logic database queries and update, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.154-160, April 02-04, 1990, Nashville, Tennessee, United States
Marianne Winslett , Kenneth Smith , Xiaolei Qian, Formal query languages for secure relational databases, ACM Transactions on Database Systems (TODS), v.19 n.4, p.626-662, Dec. 1994
Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, Journal of the ACM (JACM), v.45 n.5, p.798-842, Sept. 1998
Alon Y. Levy , Dan Suciu, Deciding containment for queries with complex objects (extended abstract), Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.20-31, May 11-15, 1997, Tucson, Arizona, United States
Suk-Chung Yoon , Il-Yeol Song , E. K. Park, Intelligent query answering in deductive and object-oriented databases, Proceedings of the third international conference on Information and knowledge management, p.244-251, November 29-December 02, 1994, Gaithersburg, Maryland, United States
Y. Sagiv , M. Y. Vardi, Safety of datalog queries over infinite databases, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.160-171, March 1989, Philadelphia, Pennsylvania, United States
Bernd Amann , Michel Scholl , Antoine Rizk, Querying typed hypertexts in Multicard/O2, Proceedings of the 1994 ACM European conference on Hypermedia technology, p.198-205, September 19-23, 1994, Edinburgh, Scotland
Vladimir Kotlyar , Keshav Pingali, Sparse code generation for imperfectly nested loops with dependences, Proceedings of the 11th international conference on Supercomputing, p.188-195, July 07-11, 1997, Vienna, Austria
Dan Suciu, Semistructured data and XML, Information organization and databases: foundations of data organization, Kluwer Academic Publishers, Norwell, MA, 2000
Mic Bowman , Saumya K. Debray , Larry L. Peterson, Reasoning about naming systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.5, p.795-825, Nov. 1993
Gösta Grahne , Matti Nykänen , Esko Ukkonen, Reasoning about strings in databases, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.303-312, May 24-27, 1994, Minneapolis, Minnesota, United States
D. Aquilino , C. Renso , F. Turini, Towards declarative GIS analysis, Proceedings of the 4th ACM international workshop on Advances in geographic information systems, p.98-104, November 1996, Rockville, Maryland, United States
David Toman, Point vs. interval-based query languages for temporal databases (extended abstract), Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.58-67, June 04-06, 1996, Montreal, Quebec, Canada
Michael Benedikt , Leonid Libkin, Relational queries over interpreted structures, Journal of the ACM (JACM), v.47 n.4, p.644-680, July 2000
Marc Gyssens , Jan Paredaens , Dirk van Gucht, A graph-oriented object database model, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.417-424, April 02-04, 1990, Nashville, Tennessee, United States
Elisa Bertino , Barbara Catania , Elena Ferrari , Paolo Perlasca, A logical framework for reasoning about access control models, Proceedings of the sixth ACM symposium on Access control models and technologies, p.41-52, May 2001, Chantilly, Virginia, United States
An introduction to inductive logic programming, Relational Data Mining, Springer-Verlag New York, Inc., New York, NY, 2001
Sara Cohen , Werner Nutt , Alexander Serebrenik, Rewriting aggregate queries using views, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.155-166, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
Marc Gyssens , Jan Paredaens , Dirk Van Gucht, A graph-oriented object model for database end-user interfaces, ACM SIGMOD Record, v.19 n.2, p.24-33, Jun. 1990
Priti Mishra , Margaret H. Eich, Join processing in relational databases, ACM Computing Surveys (CSUR), v.24 n.1, p.63-113, March 1992
Mehmet M. Dalkilic , Edward L. Roberston, Information dependencies, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.245-253, May 15-18, 2000, Dallas, Texas, United States
Lutz Plümer , Gerhard Gröger, Nested maps—a formal, provably correct object model for spatial aggregates, Proceedings of the 4th ACM international workshop on Advances in geographic information systems, p.76-83, November 1996, Rockville, Maryland, United States
M. Gyssens , J. Paredaens , D. van Gucht, A grammar-based approach towards unifying hierarchical data models, ACM SIGMOD Record, v.18 n.2, p.263-272, June 1989
Evgeny Dantsin , Thomas Eiter , Georg Gottlob , Andrei Voronkov, Complexity and expressive power of logic programming, ACM Computing Surveys (CSUR), v.33 n.3, p.374-425, September 2001
Evgeny Dantsin , Thomas Eiter , Georg Gottlob , Andrei Voronkov, Complexity and expressive power of logic programming, ACM Computing Surveys (CSUR), v.33 n.3, p.374-425, September 2001
Sitaram Lanka , Eric Mays, Fully persistent B+-trees, ACM SIGMOD Record, v.20 n.2, p.426-435, June 1991
Steve Barker, Protecting deductive databases from unauthorized retrieval and update requests, Data & Knowledge Engineering, v.43 n.3, p.293-315, December 2002
Håkan Jakobsson, On tree-based techniques for query evaluation, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.380-392, June 02-05, 1992, San Diego, California, United States
J. Albrecht , W. Hümmer , W. Lehner , L. Schlesinger, Query optimization by using derivability in a data warehouse environment, Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP, p.49-56, November 06-11, 2000, McLean, Virginia, United States
David J. Russomanno, An automated inference approach to network derivation for AM/FM/GIS systems, Proceedings of the 4th ACM international workshop on Advances in geographic information systems, p.90-97, November 1996, Rockville, Maryland, United States
Inderpal Singh Mumick , Sheldon J. Finkelstein , Hamid Pirahesh , Raghu Ramakrishnan, Magic conditions, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.314-330, April 02-04, 1990, Nashville, Tennessee, United States
Nada Lavrač , Peter A. Flach, An extended transformation approach to inductive logic programming, ACM Transactions on Computational Logic (TOCL), v.2 n.4, p.458-494, Oct. 2001
Amihai Motro , Qiuhui Yuan, Querying database knowledge, ACM SIGMOD Record, v.19 n.2, p.173-183, Jun. 1990
W. Sun , M. A. Weiss, An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities, IEEE Transactions on Knowledge and Data Engineering, v.6 n.6, p.997-1001, December 1994
R. Agrawal , T. Imielinski , A. Swami, Database Mining: A Performance Perspective, IEEE Transactions on Knowledge and Data Engineering, v.5 n.6, p.914-925, December 1993
Alexei P. Stolboushkin , Michael A. Taitslin, Finite queries do not have effective syntax, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.277-285, May 22-25, 1995, San Jose, California, United States
Claudio Bettini , X. Sean Wang , Elisa Bertino , Sushil Jajodia, Semantic assumptions and query evaluation in temporal databases, ACM SIGMOD Record, v.24 n.2, p.257-268, May 1995
César A. Galindo-Legaria, Outerjoins as disjunctions, ACM SIGMOD Record, v.23 n.2, p.348-358, June 1994
Filippo Furfaro , Sergio Greco , Sumit Ganguly , Carlo Zaniolo, Pushing extrema aggregates to optimize logic queries, Information Systems, v.27 n.5, p.321-343, July 2002
F. Bergadano, Inductive Database Relations, IEEE Transactions on Knowledge and Data Engineering, v.5 n.6, p.969-972, December 1993
Ernest Teniente , Antoni Olivé, Updating knowledge bases while maintaining their consistency, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.2, p.193-241, April 1995
Marcia A. Derr , Shinichi Morishita , Geoffrey Phipps, The glue-nail deductive database system: design, implementation, and evaluation, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.2, April 1994
C. T. Yu , W. Sun, Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization, IEEE Transactions on Knowledge and Data Engineering, v.1 n.3, p.362-375, September 1989
Surajit Chaudhuri , Moshe Y. Vardi, On the complexity of equivalence between recursive and nonrecursive Datalog programs, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.107-116, May 24-27, 1994, Minneapolis, Minnesota, United States
Mark Levene , George Loizou, Database design for incomplete relations, ACM Transactions on Database Systems (TODS), v.24 n.1, p.80-126, March 1999
Jan Chomicki, Polynomial time query processing in temporal deductive databases, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-391, April 02-04, 1990, Nashville, Tennessee, United States
Jan Chomicki, Polynomial time query processing in temporal deductive databases, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.379-391, April 02-04, 1990, Nashville, Tennessee, United States
Gerhard Gröger , Lutz Plümer, Provably correct and complete transaction rules for GIS, Proceedings of the 5th ACM international workshop on Advances in geographic information systems, p.40-43, November 10-14, 1997, Las Vegas, Nevada, United States
Sang-Wook Kim , Hee-Sun Won, Batch-construction of B+-trees, Proceedings of the 2001 ACM symposium on Applied computing, p.231-235, March 2001, Las Vegas, Nevada, United States
Foto Afrati , Stavros S. Cosmadakis , Mihalis Yannakakis, On Datalog vs. polynomial time (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.13-25, May 29-31, 1991, Denver, Colorado, United States
Harry B. Hunt, III , Madhav V. Marathe , Richard E. Stearns, Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.183-191, July 2001, London, Ontario, Canada
Mario Cannataro , Antonella Guzzo , Andrea Pugliese, Knowledge management and XML: derivation of synthetic views over semi-structured data, ACM SIGAPP Applied Computing Review, v.10 n.1, Spring 2002
Inderpal Singh Mumick , Hamid Pirahesh, Implementation of magic-sets in a relational database system, ACM SIGMOD Record, v.23 n.2, p.103-114, June 1994
L. Edwin McKenzie, Jr. , Richard Thomas Snodgrass, Evaluation of relational algebras incorporating the time dimension in databases, ACM Computing Surveys (CSUR), v.23 n.4, p.501-543, Dec. 1991
L. Edwin McKenzie, Jr. , Richard Thomas Snodgrass, Evaluation of relational algebras incorporating the time dimension in databases, ACM Computing Surveys (CSUR), v.23 n.4, p.501-543, Dec. 1991
Yannis Papakonstantinou , Vasilis Vassalos, Query rewriting for semistructured data, ACM SIGMOD Record, v.28 n.2, p.455-466, June 1999
Peter J. Stuckey , S. Sudarshan, Compiling query constraints (extended abstract), Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.56-67, May 24-27, 1994, Minneapolis, Minnesota, United States
Sergio Greco , Ester Zumpano, Consistent queries over databases with integrity constraints, Database integrity: challenges and solutions, Idea Group Publishing, Hershey, PA, 2002
Marco Cadoli , Thomas Eiter , Georg Gottlob, Default Logic as a Query Language, IEEE Transactions on Knowledge and Data Engineering, v.9 n.3, p.448-463, May 1997
Phokion G. Kolaitis , Moshe Y. Vardi, On the expressive power of datalog: tools and a case study, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.61-71, April 02-04, 1990, Nashville, Tennessee, United States
Sumit Ganguly , Avi Silberschatz , Shalom Tsur, A framework for the parallel processing of Datalog queries, ACM SIGMOD Record, v.19 n.2, p.143-152, Jun. 1990
Rajehndra Nagappan, A graph-based model for navigating visualisation, Selected papers from the Pan-Sydney workshop on Visualisation, p.17-21, December 01, 2000, Sydney, Australia
Mariano P. Consens , Alberto O. Mendelzon, GraphLog: a visual formalism for real life recursion, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.404-416, April 02-04, 1990, Nashville, Tennessee, United States
S. B. Davidson , A. S. Kosky , B. Eckman, Facilitating transformations in a human genome project database, Proceedings of the third international conference on Information and knowledge management, p.423-432, November 29-December 02, 1994, Gaithersburg, Maryland, United States
Laks V. S. Lakshmanan , Héctor J. Hernández, Structural query optimization—a uniform framework for semantic query optimization in deductive databases, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.102-114, May 29-31, 1991, Denver, Colorado, United States
Kenneth A. Ross, Modular acyclicity and tail recursion in logic programs, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.92-101, May 29-31, 1991, Denver, Colorado, United States
Serge Abiteboul , Moshe Y. Vardi , Victor Vianu, Fixpoint logics, relational machines, and computational complexity, Journal of the ACM (JACM), v.44 n.1, p.30-56, Jan. 1997
Ouri Wolfson , Aya Ozeri, A new paradigm for parallel and distributed rule-processing, ACM SIGMOD Record, v.19 n.2, p.133-142, Jun. 1990
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi, Tools for Datalog boundedness, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-12, May 29-31, 1991, Denver, Colorado, United States
Jürgen Seib , Georg Lausen, Parallelizing Datalog programs by generalized pivoting, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.241-251, May 29-31, 1991, Denver, Colorado, United States
E. A. Rundensteiner , L. Bic , J. P. Gilbert , M. -L. Yin, Set Restrictions for Semantic Groupings, IEEE Transactions on Knowledge and Data Engineering, v.6 n.2, p.193-204, April 1994
Serge Abiteboul , Victor Vianu, Generic Computation and its complexity, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.209-219, May 05-08, 1991, New Orleans, Louisiana, United States
Jan Van den Bussche , Jan Paredaens, The expressive power structured values in pure OODB's (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.291-299, May 29-31, 1991, Denver, Colorado, United States
Marianne Baudinet , Marc Niézette , Pierre Wolper, On the representation of infinite temporal data and queries (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.280-290, May 29-31, 1991, Denver, Colorado, United States
Marianne Baudinet , Marc Niézette , Pierre Wolper, On the representation of infinite temporal data and queries (extended abstract), Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.280-290, May 29-31, 1991, Denver, Colorado, United States
Inderpal Singh Mumick , Hamid Pirahesh, Overbound and right-linear queries, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.127-141, May 29-31, 1991, Denver, Colorado, United States
Ouri Wolfson , Hasanat M. Dewan , Salvatore J. Stolfo , Yechiam Yemini, Incremental evaluation of rules and its relationship to parallelism, ACM SIGMOD Record, v.20 n.2, p.78-87, June 1991
Hendrik Decker, Translating advanced integrity checking technology to SQL, Database integrity: challenges and solutions, Idea Group Publishing, Hershey, PA, 2002
Chen-Chuan K. Chang , Héctor Garcia-Molina , Andreas Paepcke, Predicate rewriting for translating Boolean queries in a heterogeneous information system, ACM Transactions on Information Systems (TOIS), v.17 n.1, p.1-39, Jan. 1999
Helmut Schmidt, Communicating control knowledge to a deductive database system, Proceedings of the 1992 ACM annual conference on Communications, p.439-446, March 03-05, 1992, Kansas City, Missouri, United States
Ronald E. Wilson, Integrating a breadth-first curriculum with relevant programming projects in CS1/CS2, ACM SIGCSE Bulletin, v.27 n.1, p.214-217, March 1995
Avi Silberschatz , Henry F. Korth , S. Sudarshan, Data models, ACM Computing Surveys (CSUR), v.28 n.1, p.105-108, March 1996
Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education, p.14-34, December 1998, Dublin, Ireland
Alin Deutsch , Mary Fernandez , Dan Suciu, Storing semistructured data with STORED, ACM SIGMOD Record, v.28 n.2, p.431-442, June 1999
E. Mays , S. Lanka , B. Dionne , R. Weida, A Persistent Store for Large Shared Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, v.3 n.1, p.33-41, March 1991
Tadeusz Pankowski, PathLog: a query language for schemaless databases of partially labeled objects, Fundamenta Informaticae, v.49 n.4, p.369-395, February 2002
Nghia D. Vu , Bina Ramamurthy, Properties of composite of closure operations and choice functions, Acta Cybernetica, v.15 n.3, p.457-465, September 2002
L. Li, Fast In-Place Verification of Data Dependencies, IEEE Transactions on Knowledge and Data Engineering, v.5 n.2, p.266-281, April 1993
K. Wang , L. Y. Yuan, First-Order Logic Characterization of Program Properties, IEEE Transactions on Knowledge and Data Engineering, v.6 n.4, p.518-533, August 1994
F. Berzal , J. C. Cubero , F. Cuenca , J. M. Medina, Relational decomposition through partial functional dependencies, Data & Knowledge Engineering, v.43 n.2, p.207-234, November 2002
Robin D. Burke , Kristian J. Hammond , Benjamin C. Young, The FindMe Approach to Assisted Browsing, IEEE Expert: Intelligent Systems and Their Applications, v.12 n.4, p.32-40, July 1997
Robin D. Burke , Kristian J. Hammond , Benjamin C. Young, The FindMe Approach to Assisted Browsing, IEEE Expert: Intelligent Systems and Their Applications, v.12 n.4, p.32-40, July 1997
W. Sun , C. Yu, Semantic Query Optimization for Tree and Chain Queries, IEEE Transactions on Knowledge and Data Engineering, v.6 n.1, p.136-151, February 1994
Andrea Neufeld , Guido Moerkotte , Peter C. Lockemann, Generating consistent test data: restricting the search space by a generator formula, The VLDB Journal — The International Journal on Very Large Data Bases, v.2 n.2, April 1993
Dimitris Papadias , Timos Sellis, Qualitative representation of spatial knowledge in two-dimensional space, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.4, October 1994
Tru H. Cao, A formalism for representing and reasoning with linguistic information, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, v.10 n.3, p.281-307, June 2002
Christian S. Jensen , Richard Thomas Snodgrass , Michael D. Soo, Extending Existing Dependency Theory to Temporal Databases, IEEE Transactions on Knowledge and Data Engineering, v.8 n.4, p.563-582, August 1996
Christian Borgelt , Rudolf Kruse, Learning from imprecise data: possibilistic graphical models, Computational Statistics & Data Analysis, v.38 n.4, p.449-463, 28 February 2002
Avi Silberschatz , Alexander Tuzhilin, What Makes Patterns Interesting in Knowledge Discovery Systems, IEEE Transactions on Knowledge and Data Engineering, v.8 n.6, p.970-974, December 1996
Ho-Hyun Park , Hyung-Ju Cho , Chin-Wan Chung, Heuristic approach for early separated filter and refinement strategy in spatial query optimization, Journal of Systems and Software, v.62 n.3, p.161-179, 15 June 2002
A. Basu, A Knowledge Representation Model for Multiuser Knowledge-Based Systems, IEEE Transactions on Knowledge and Data Engineering, v.5 n.2, p.177-189, April 1993
Rada Chirkova , Chen Li, Materializing views with minimal size to answer queries, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.38-48, June 09-11, 2003, San Diego, California
Rattikorn Hewett , John Leuchner, Knowledge discovery with second-order relations, Knowledge and Information Systems, v.4 n.4, p.413-439, October 2002
W. Litwin , T. Risch, Main Memory Orientated Optimization of OO Queries Using Typed Datalog with Foreign Predicates, IEEE Transactions on Knowledge and Data Engineering, v.4 n.6, p.517-528, December 1992
Madhav V. Marathe , Harry B. Hunt, III , S. S. Ravi, The complexity of approximating pspace-complete problems for hierarchical specifications, Nordic Journal of Computing, v.1 n.3, p.275-316, Fall 1994
Donald G. Marks, Inference in MLS Database Systems, IEEE Transactions on Knowledge and Data Engineering, v.8 n.1, p.46-55, February 1996
Lars Bækgaard , Leo Mark, Incremental Computation of Set Difference Views, IEEE Transactions on Knowledge and Data Engineering, v.9 n.2, p.251-261, March 1997
S. Ceri , G. Gottlob , L. Tanca, What You Always Wanted to Know About Datalog (And Never Dared to Ask), IEEE Transactions on Knowledge and Data Engineering, v.1 n.1, p.146-166, March 1989
Steve Barker , Arnon Rosenthal, Flexible security policies in SQL, Proceedings of the fifteenth annual working conference on Database and application security, p.167-180, July 15-18, 2001, Niagara, Ontario, Canada
David W. Cheung , Vincent T. Ng , Ada W. Fu , Yongjian Fu, Efficient Mining of Association Rules in Distributed Databases, IEEE Transactions on Knowledge and Data Engineering, v.8 n.6, p.911-922, December 1996
D. Cantone , A. Formisano , E. G. Omodeo , C. G. Zarba, Compiling dyadic first-order specifications into map algebra, Theoretical Computer Science, v.293 n.2, p.447-475, 6 February 2003
Dimitrios Gunopulos , Roni Khardon , Heikki Mannila , Sanjeev Saluja , Hannu Toivonen , Ram Sewak Sharma, Discovering all most specific sentences, ACM Transactions on Database Systems (TODS), v.28 n.2, p.140-174, June 2003
R. Ramakrishnan , D. Srivastava , S. Sudarshan, Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs, IEEE Transactions on Knowledge and Data Engineering, v.6 n.4, p.501-517, August 1994
Amy J. Lee , Anisoara Nica , Elke A. Rundensteiner, The EVE Approach: View Synchronization in Dynamic Distributed Environments, IEEE Transactions on Knowledge and Data Engineering, v.14 n.5, p.931-954, September 2002
Benjamin N. Grosof , Ian Horrocks , Raphael Volz , Stefan Decker, Description logic programs: combining logic programs with description logic, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
Philippe Rigaux , Michel Scholl , Luc Segoufin , Stéphane Grumbach, Building a constraint-based spatial database system: model, languages, and implementation, Information Systems, v.28 n.6, p.563-595, September 2003
Christian Borgelt , Rudolf Kruse, Operations and evaluation measures for learning possibilistic graphical models, Artificial Intelligence, v.148 n.1-2, p.385-418, August 2003
Bambang N. Prastowo, Toward automation of generating incremental computation mechanisms, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.55, October 31-November 03, 1994, Toronto, Ontario, Canada
Latanya Sweeney, k-anonymity: a model for protecting privacy, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, v.10 n.5, p.557-570, October 2002
Saso Džeroski, Data mining tasks and methods: Rule discovery: inductive logic programming approaches, Handbook of data mining and knowledge discovery, Oxford University Press, Inc., New York, NY, 2002
Elaine G. Toms, Information interaction: providing a framework for information architecture, Journal of the American Society for Information Science and Technology, v.53 n.10, p.855-862, August 2002
Chun-Nan Hsu , Craig A. Knoblock, Semantic Query Optimization for Query Plans of Heterogeneous Multidatabase Systems, IEEE Transactions on Knowledge and Data Engineering, v.12 n.6, p.959-978, November 2000
Frank Ch. Eigler, Translating GraphLog to SQL, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.14, October 31-November 03, 1994, Toronto, Ontario, Canada
Harry S. Delugach , Thomas H. Hinke, Wizard: A Database Inference Analysis and Detection System, IEEE Transactions on Knowledge and Data Engineering, v.8 n.1, p.56-66, February 1996
Emanuel G. Noik, Challenges in graph-based relational data visualization, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
Neng-Fa Zhou , Taisuke Sato, Efficient fixpoint computation in linear tabling, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.275-283, August 27-29, 2003, Uppsala, Sweden
Kumar Vadaparty , Shamim Naqvi, Using Constraints for Efficient Query Processing in Nondeterministic Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.6, p.850-864, December 1995
P. Samarati, Protecting Respondents' Identities in Microdata Release, IEEE Transactions on Knowledge and Data Engineering, v.13 n.6, p.1010-1027, November 2001
Sitt Sen Chok , Kim Marriott, Automatic generation of intelligent diagram editors, ACM Transactions on Computer-Human Interaction (TOCHI), v.10 n.3, p.244-276, September 2003
Reinhard Pichler, On the complexity of equational problems in CNF, Journal of Symbolic Computation, v.36 n.1-2, p.235-269, July 2003
Igor Tatarinov , Zachary Ives , Jayant Madhavan , Alon Halevy , Dan Suciu , Nilesh Dalvi , Xin (Luna) Dong , Yana Kadiyska , Gerome Miklau , Peter Mork, The Piazza peer data management project, ACM SIGMOD Record, v.32 n.3, September 2003
Sumit Ganguly , Abraham Silberschatz , Shalom Tsur, Mapping Datalog Program Execution to Networks of Processors, IEEE Transactions on Knowledge and Data Engineering, v.7 n.3, p.351-361, June 1995
Michael Codish , Harald Søndergaard, Meta-circular abstract interpretation in prolog, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer , Axel Polleres, A logic programming approach to knowledge-state planning, II: the DLVk system, Artificial Intelligence, v.144 n.1-2, p.157-211, March 2003
Elaheh Pourabbas, Cooperation with geographic databases, Multidimensional databases: problems and solutions, Idea Group Publishing, Hershey, PA, 2003
J. F. Aldana Montes , A. C. Gómez Lora , N. Moreno Vergara , M. M. Roldán Garcia, Database management issues in the web environment, Effective databases for text & document management, Idea Group Publishing, Hershey, PA, 2003
Gianluigi Greco , Sergio Greco , Ester Zumpano, Repairing and querying inconsistent databases, Effective databases for text & document management, Idea Group Publishing, Hershey, PA, 2003
Thomas Eiter , Wolfgang Faber , Nicola Leone , Gerald Pfeifer , Axel Polleres, A logic programming approach to knowledge-state planning: Semantics and complexity, ACM Transactions on Computational Logic (TOCL), v.5 n.2, p.206-263, April 2004
Alexander Brodsky , Csilla Farkas , Sushil Jajodia, Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures, IEEE Transactions on Knowledge and Data Engineering, v.12 n.6, p.900-919, November 2000
Xiaolei Qian , Teresa F. Lunt, A Semantic Framework of the Multilevel Secure Relational Model, IEEE Transactions on Knowledge and Data Engineering, v.9 n.2, p.292-301, March 1997
G. N. Paulley , Per-Åke Larson, Exploiting uniqueness in query optimization, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing, October 24-28, 1993, Toronto, Ontario, Canada
Foto Afrati , Manolis Gergatsoulis , Francesca Toni, Linearisability on datalog programs, Theoretical Computer Science, v.308 n.1-3, p.199-226, 3 November 2003
S. Flesca , S. Greco, Rewriting Queries Using Views, IEEE Transactions on Knowledge and Data Engineering, v.13 n.6, p.980-995, November 2001
Nick Bassiliades , Ioannis Vlahavas , Ahmed K. Elmagarmid , Elias N. Houstis, InterBase-KB: Integrating a Knowledge Base System with a Multidatabase System for Data Warehousing, IEEE Transactions on Knowledge and Data Engineering, v.15 n.5, p.1188-1205, September 2003
E. R. Omiecinski, A Parallel Algorithm for Relational Database Normalization, IEEE Transactions on Parallel and Distributed Systems, v.1 n.4, p.415-423, October 1990
Balaji Padmanabhan , Alexander Tuzhilin, Knowledge refinement based on the discovery of unexpected patterns in data mining, Decision Support Systems, v.33 n.3, p.309-321, July 2002
Ji-Hoon Kang , Ki-Hyung Hong , Kyu-Young Whang , Jung-Wan Cho, Generalization of ZYT-linearizability for bilinear datalog programs, Information and Computation, v.188 n.1, p.77-98, 10 January 2004
Ji-Hoon Kang , Ki-Hyung Hong , Kyu-Young Whang , Jung-Wan Cho, Generalization of ZYT-linearizability for bilinear datalog programs, Information and Computation, v.188 n.1, p.77-98, 10 January 2004
Marcos André Gonçalves , Edward A. Fox , Layne T. Watson , Neill A. Kipp, Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries, ACM Transactions on Information Systems (TOIS), v.22 n.2, p.270-312, April 2004
E. Zumpano , S. Greco , I. Trubitsyna , P. Veltri, On the semantics and expressive power of Datalog-like languages for NP search and optimization problems, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
Danilo Montesi , Elisa Bertino , Maurizio Martelli, Transactions and Updates in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.9 n.5, p.784-797, September 1997
Richard Thomas Snodgrass , S. Gomez , E. McKenzie, Aggregates in the Temporal Query Language TQuel, IEEE Transactions on Knowledge and Data Engineering, v.5 n.5, p.826-842, October 1993
S. Dzeroski , N. Lavrac, Inductive Learning in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.5 n.6, p.939-949, December 1993
Sergio Greco, Dynamic Programming in Datalog with Aggregates, IEEE Transactions on Knowledge and Data Engineering, v.11 n.2, p.265-283, March 1999
O. Wolfson , A. Ozeri, Parallel and Distributed Processing of Rules by Data-Reduction, IEEE Transactions on Knowledge and Data Engineering, v.5 n.3, p.523-530, June 1993
R. Guigó , T. F. Smith, Inferring Correlation Between Database Queries: Analysis of Protein Sequence Patterns, IEEE Transactions on Pattern Analysis and Machine Intelligence, v.15 n.10, p.1030-1041, October 1993
R. Ahad , S. Bing Yao, RQL: A Recursive Query Language, IEEE Transactions on Knowledge and Data Engineering, v.5 n.3, p.451-461, June 1993
E. P. F. Chan, A Possible World Semantics for Disjunctive Databases, IEEE Transactions on Knowledge and Data Engineering, v.5 n.2, p.282-292, April 1993
S. C. Yoon , I. Y. Song , E. K. Park, Semantic query processing in object-oriented databases using deductive approach, Proceedings of the fourth international conference on Information and knowledge management, p.150-157, November 29-December 02, 1995, Baltimore, Maryland, United States
Oscar H. Ibarra , Jianwen Su, On the containment and equivalence of database queries with linear constraints (extended abstract), Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.32-43, May 11-15, 1997, Tucson, Arizona, United States
Thomas Lukasiewicz, Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events, Proceedings of the sixth international conference on Information and knowledge management, p.75-82, November 10-14, 1997, Las Vegas, Nevada, United States
Peter van Beek , Rina Dechter, Constraint tightness and looseness versus local and global consistency, Journal of the ACM (JACM), v.44 n.4, p.549-566, July 1997
Wenfei Fan , Jérôme Siméon, Integrity constraints for XML, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.23-34, May 15-18, 2000, Dallas, Texas, United States
Thomas Eiter , Georg Gottlob , Heikki Mannila, Disjunctive datalog, ACM Transactions on Database Systems (TODS), v.22 n.3, p.364-418, Sept. 1997
Anthony Tomasic , Luis Gravano , Calvin Lue , Peter Schwarz , Laura Haas, Data structures for efficient broker implementation, ACM Transactions on Information Systems (TOIS), v.15 n.3, p.223-253, July 1997
J. Han, Constraint-Based Query Evaluation in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.6 n.1, p.96-107, February 1994
Kenneth A. Ross, Structural totality and constraint stratification, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.184-195, May 22-25, 1995, San Jose, California, United States
J. Han , Y. Cai , N. Cercone, Data-Driven Discovery of Quantitative Rules in Relational Databases, IEEE Transactions on Knowledge and Data Engineering, v.5 n.1, p.29-40, February 1993
Haim Gaifman , Michael J. Maher , Ehud Shapiro, Replay, recovery, replication, and snapshots of nondeterministic concurrent programs, Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.241-255, August 19-21, 1991, Montreal, Quebec, Canada
Yangjun Chen, On the Graph Traversal and Linear Binary-Chain Programs, IEEE Transactions on Knowledge and Data Engineering, v.15 n.3, p.573-596, March 2003
Surajit Chaudhuri, Detecting redundant tuples during query evaluation, Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.115-126, May 29-31, 1991, Denver, Colorado, United States
Alon Levy , Inderpal Singh Mumick , Yehoshua Sagiv , Oded Shmueli, Equivalence, query-reachability and satisfiability in Datalog extensions, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.109-122, May 25-28, 1993, Washington, D.C., United States
Allen Van Gelder , Rodney W. Topor, Safety and translation of relational calculus, ACM Transactions on Database Systems (TODS), v.16 n.2, p.235-278, June 1991
Linda Sirounian , William I. Grosky, A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.1, p.82-105, February 1995
Elena Baralis , Jennifer Widom, An algebraic approach to static analysis of active database rules, ACM Transactions on Database Systems (TODS), v.25 n.3, p.269-332, Sept. 2000
Roland Kaschek, A performance tuning framework, Proceedings of the 2001 international conference on Information systems technology and its applications, p.127-137, June 13-15, 2001, Kharkiv, Ukraine
Mihalis Yannakakis, Graph-theoretic methods in database theory, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.230-242, April 02-04, 1990, Nashville, Tennessee, United States
Mihalis Yannakakis, Graph-theoretic methods in database theory, Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.230-242, April 02-04, 1990, Nashville, Tennessee, United States
A. Illarramendi , J. M. Blanco , A. Goñi, Making the Knowledge Base Systems More Efficient: A Method to Detect Inconsistent Queries, IEEE Transactions on Knowledge and Data Engineering, v.6 n.4, p.634-639, August 1994
Wenfei Fan , Jérôme Siméon, Integrity constraints for XML, Journal of Computer and System Sciences, v.66 n.1, p.254-291, 01 February 2003
A. Motro, Intensional Answers to Database Queries, IEEE Transactions on Knowledge and Data Engineering, v.6 n.3, p.444-454, June 1994
M. F. van Bommel , G. E. Weddell, Reasoning About Equations and Functional Dependencies on Complex Objects, IEEE Transactions on Knowledge and Data Engineering, v.6 n.3, p.455-469, June 1994
A. Basu , R. Ahad, Using a Relational Database to Support Explanation in a Knowledge-Based System, IEEE Transactions on Knowledge and Data Engineering, v.4 n.6, p.572-581, December 1992
Irène Guessarian , Eugénie Foustoucos , Theodore Andronikos , Foto Afrati, On temporal logic versus datalog, Theoretical Computer Science, v.303 n.1, p.103-133, 28 June 2003
Francesco Buccafurri , Nicola Leone , Pasquale Rullo, Enhancing Disjunctive Datalog by Constraints, IEEE Transactions on Knowledge and Data Engineering, v.12 n.5, p.845-860, September 2000
Alberto O. Mendelzon , Peter T. Wood, Functional dependencies in Horn clause queries, ACM Transactions on Database Systems (TODS), v.16 n.1, p.31-55, March 1991
Elisa Bertino , Barbara Catania , Elena Ferrari , Paolo Perlasca, A logical framework for reasoning about access control models, ACM Transactions on Information and System Security (TISSEC), v.6 n.1, p.71-127, February 2003
Leslie G. Valiant, A neuroidal architecture for cognitive computation, Journal of the ACM (JACM), v.47 n.5, p.854-882, Sept. 2000
Russell Greiner, Learning efficient query processing strategies, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.33-46, June 02-05, 1992, San Diego, California, United States
Wenfei Fan , Leonid Libkin, On XML integrity constraints in the presence of DTDs, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.114-125, May 2001, Santa Barbara, California, United States
G. Kiernan , C. de Maindreville , E. Simon, Making deductive databases a practical technology: a step forward, ACM SIGMOD Record, v.19 n.2, p.237-246, Jun. 1990
Foto Afrati , Irène Guessarian , Michel de Rougemont, The expressiveness of DAC, Theoretical Computer Science, v.286 n.1, p.3-32, 6 September 2002
Abdullah Uz Tansel , Erkan Tin, The Expressive Power of Temporal Relational Query Languages, IEEE Transactions on Knowledge and Data Engineering, v.9 n.1, p.120-134, January 1997
David Harel, Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.1-3, May 24-27, 1994, Minneapolis, Minnesota, United States
Dieter Fensel , Jürgen Angele , Rudi Studer, The Knowledge Acquisition and Representation Language, KARL, IEEE Transactions on Knowledge and Data Engineering, v.10 n.4, p.527-550, July 1998
Jiawei Han , Yue Huang , Nick Cercone , Yongjian Fu, Intelligent Query Answering by Knowledge Discovery Techniques, IEEE Transactions on Knowledge and Data Engineering, v.8 n.3, p.373-390, June 1996
Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, Bibliography, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
Ling Ling Yan , Renée J. Miller , Laura M. Haas , Ronald Fagin, Data-driven understanding and refinement of schema mappings, ACM SIGMOD Record, v.30 n.2, p.485-496, June 2001
Marc Andries , Luca Cabibbo , Jan Paredaens , Jan van den Bussche, Applying an update method to a set of receivers, ACM Transactions on Database Systems (TODS), v.26 n.1, p.1-40, March 2001
Timo Niemi , Kalervo Järvelin, Prolog-Based Meta-rules for Relational Database Representation and Manipulation, IEEE Transactions on Software Engineering, v.17 n.8, p.762-788, August 1991
Martin Staudt , Matthias Jarke, View Management Support in Advanced Knowledge Base Servers, Journal of Intelligent Information Systems, v.15 n.3, p.253-285, Nov.-Dec. 2000
Mengchi Liu, Design and Implementation of the ROL Deductive Object-Oriented Database System, Journal of Intelligent Information Systems, v.15 n.2, p.121-146, Sept./Oct. 2000
J. Han , W. Lu, Asynchronous Chain Recursions, IEEE Transactions on Knowledge and Data Engineering, v.1 n.2, p.185-195, June 1989
David B. Kemp , Kotagiri Ramamohanarao, Efficient Recursive Aggregation and Negation in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.10 n.5, p.727-745, September 1998
Paulo Carreira , Helena Galhardas, Execution of data mappers, Proceedings of the 2004 international workshop on Information quality in information systems, June 18, 2004, Paris, France
Naftaly H. Minsky, The Imposition of Protocols Over Open Distributed Systems, IEEE Transactions on Software Engineering, v.17 n.2, p.183-195, February 1991
Ralph D. Semmel , James Mayfield, Automated Query Formulation Using an Entity–Relationship Conceptual Schema, Journal of Intelligent Information Systems, v.8 n.3, p.267-290, June 1997
C. V. Ramamoorthy , Yutaka Usuda , Atul Prakash , W. T. Tsai, The Evolution Support Environment System, IEEE Transactions on Software Engineering, v.16 n.11, p.1225-1234, November 1990
D. Chimenti , R. Gamboa , R. Krishnamurthy , S. Naqvi , S. Tsur , C. Zaniolo, The LDL System Prototype, IEEE Transactions on Knowledge and Data Engineering, v.2 n.1, p.76-90, March 1990
Gianluigi Greco , Sergio Greco , Ester Zumpano, A Logical Framework for Querying and Repairing Inconsistent Databases, IEEE Transactions on Knowledge and Data Engineering, v.15 n.6, p.1389-1408, November 2003
Glen Jeh , Jennifer Widom, Mining the space of graph properties, Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining, August 22-25, 2004, Seattle, WA, USA
Sašo Džeroski, Multi-relational data mining: an introduction, ACM SIGKDD Explorations Newsletter, v.5 n.1, July 2003
John Whaley , Monica S. Lam, Cloning-based context-sensitive pointer alias analysis using binary decision diagrams, ACM SIGPLAN Notices, v.39 n.6, May 2004
Nicola Leone , Pasquale Rullo , Antonella Mecchia , Giuseppe Rossi, A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning, IEEE Transactions on Knowledge and Data Engineering, v.9 n.4, p.539-558, July 1997
Parke Godfrey , Jarek Gryz, Partial Evaluation of Views, Journal of Intelligent Information Systems, v.16 n.1, p.21-39, Jan. 2001
Albert Atserias, On sufficient conditions for unsatisfiability of random formulas, Journal of the ACM (JACM), v.51 n.2, p.281-311, March 2004
Chien-Le Goh , Kazuki Aisaka , Masahiko Tsukamoto , Shojiro Nishio, Database compression with data mining methods, Information organization and databases: foundations of data organization, Kluwer Academic Publishers, Norwell, MA, 2000
Sergio Greco, Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries, IEEE Transactions on Knowledge and Data Engineering, v.15 n.2, p.368-385, February 2003
Nevzat Hurkan Balkir , Gultekin Ozsoyoglu , Z. Meral Ozsoyoglu, A Graphical Query Language: VISUAL and Its Query Processing, IEEE Transactions on Knowledge and Data Engineering, v.14 n.5, p.955-978, September 2002
Vilas Wuwongse , Kiyoshi Akama , Chutiporn Anutariya , Ekawit Nantajeewarawat, A data model for XML databases, Journal of Intelligent Information Systems, v.20 n.1, p.63-80, January 2003
Alan Fern , Robert Givan, Relational sequential inference with reliable observations, Proceedings of the twenty-first international conference on Machine learning, p.35, July 04-08, 2004, Banff, Alberta, Canada
Reza Sadri , Carlo Zaniolo , Amir Zarkesh , Jafar Adibi, Expressing and optimizing sequence queries in database systems, ACM Transactions on Database Systems (TODS), v.29 n.2, p.282-318, June 2004
Gultekin Ozsoyoglu , Nevzat H. Balkir , Z. Meral Ozsoyoglu , Graham Cormode, On Automated Lesson Construction from Electronic Textbooks, IEEE Transactions on Knowledge and Data Engineering, v.16 n.3, p.317-331, March 2004
B. van Gils , H. A. Proper , P. van Bommel, A conceptual model of information supply, Data & Knowledge Engineering, v.51 n.2, p.189-222, November 2004
Flavio A. Ferrarotti , José M. Turull-Torres, On the computation of approximations of database queries, Proceedings of the fifteenth Australasian database conference, p.27-37, January 01, 2004, Dunedin, New Zealand
Sergio Flesca , Sergio Greco , Ester Zumpano, Active integrity constraints, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.98-107, August 24-26, 2004, Verona, Italy
Xinjian Lu , Franklin Lowenthal, Arranging fact table records in a data warehouse to improve query performance, Computers and Operations Research, v.31 n.13, p.2165-2182, November 2004
Soon-Young Huh , Hyung-Min Kim, A real-time synchronization mechanism for collaborative model management, Decision Support Systems, v.37 n.3, p.315-330, June 2004
S. B. Davidson , J. Crabtree , B. P. Brunk , J. Schug , V. Tannen , G. C. Overton , C. J. Stoeckert, Jr., K2/Kleisli and GUS: experiments in integrated access to genomic data sources, IBM Systems Journal, v.40 n.2, p.512-531, February 2001
Nghia D. Vu, Relationships between closure operations and choice functions: equivalent descriptions of a family of functional dependencies, Acta Cybernetica, v.16 n.3, p.485-506, August 2004
Fosca Giannotti , Giuseppe Manco , Franco Turini, Specifying Mining Algorithms with Iterative User-Defined Aggregates, IEEE Transactions on Knowledge and Data Engineering, v.16 n.10, p.1232-1246, October 2004
Ouri Wolfson , Soumitra Sengupta , Yechiam Yemini, Managing Communication Networks by Monitoring Databases, IEEE Transactions on Software Engineering, v.17 n.9, p.944-953, September 1991
Hector Garcia-Molina , Yannis Papakonstantinou , Dallan Quass , Anand Rajaraman , Yehoshua Sagiv , Jeffrey Ullman , Vasilis Vassalos , Jennifer Widom, The TSIMMIS Approach to Mediation: Data Models and Languages, Journal of Intelligent Information Systems, v.8 n.2, p.117-132, March/April 1997
Panos Rondogiannis , Manolis Gergatsoulis, The Branching-Time Transformation Technique for Chain Datalog Programs, Journal of Intelligent Information Systems, v.17 n.1, p.71-94, November 2001
Sorin Lerner , Todd Millstein , Erika Rice , Craig Chambers, Automated soundness proofs for dataflow analyses and transformations via local rules, ACM SIGPLAN Notices, v.40 n.1, p.364-377, January 2005
S. V. Vrbsky , J. W. S. Liu, APPROXIMATE: A Query Processor that Produces Monotonically Improving Approximate Answers, IEEE Transactions on Knowledge and Data Engineering, v.5 n.6, p.1056-1068, December 1993
Jia Liang Han, Program Partition and Logic Program Analysis, IEEE Transactions on Software Engineering, v.21 n.12, p.959-968, December 1995
Anna Formica , Michele Missikoff, Inheritance processing and conflicts in structural generalization hierarchies, ACM Computing Surveys (CSUR), v.36 n.3, p.263-290, September 2004
Jiawei Han, Chain-Split Evaluation in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.2, p.261-273, April 1995
Mark Levene , George Loizou, A Graph-Based Data Model and its Ramifications, IEEE Transactions on Knowledge and Data Engineering, v.7 n.5, p.809-823, October 1995
D. P. Miranker , B. J. Lofaso, The Organization and Performance of a TREAT-Based Production System Compiler, IEEE Transactions on Knowledge and Data Engineering, v.3 n.1, p.3-10, March 1991
Jens Lechtenbörger, Computing unique canonical covers for simple FDs via transitive reduction, Information Processing Letters, v.92 n.4, p.169-174, 30 November 2004
Francesco Scarcello , Gianluigi Greco , Nicola Leone, Weighted hypertree decompositions and optimal query plans, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France
Xian Liu , Wilsun Xu, A Stochastic Programming Approach for Range Query Retrieval Problems, IEEE Transactions on Knowledge and Data Engineering, v.14 n.4, p.867-880, July 2002
S. Ferré , O. Ridoux, Introduction to logical information systems, Information Processing and Management: an International Journal, v.40 n.3, p.383-419, January 2004
Werner Kießling , Helmut Schmidt , Werner Strauß , Gerhard Dünzinger, DECLARE and SDS: early efforts to commercialize deductive database technology, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.2, April 1994
Wesley W. Chu , Ion T. Ieong , Ricky K. Taira, A semantic modeling approach for image retrieval by content, The VLDB Journal — The International Journal on Very Large Data Bases, v.3 n.4, October 1994
Hui Wang , David Bell , Fionn Murtagh, Axiomatic Approach to Feature Subset Selection Based on Relevance, IEEE Transactions on Pattern Analysis and Machine Intelligence, v.21 n.3, p.271-277, March 1999
Vladimir Kotlyar , Keshav Pingali , Paul Stodghill, Compiling parallel code for sparse matrix applications, Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM), p.1-18, November 15-21, 1997, San Jose, CA
Jiawei Han , Ling Liu, Efficient Evaluation of Multiple Linear Recursions, IEEE Transactions on Software Engineering, v.17 n.12, p.1241-1252, December 1991
Sergio Greco , Ester Zumpano, On the rewriting and efficient computation of bound disjunctive datalog queries, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.136-147, August 27-29, 2003, Uppsala, Sweden
A. Prasad Sistla , Ouri Wolfson, Temporal Triggers in Active Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.3, p.471-486, June 1995
T. F. Keefe , W. T. Tsai , J. Srivastava, Database Concurrency Control in Multilevel Secure Database Management Systems, IEEE Transactions on Knowledge and Data Engineering, v.5 n.6, p.1039-1055, December 1993
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati, Logical foundations of peer-to-peer data integration, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France
Timo Niemi , Marko Junkkari , Kalervo Järvelin , Samu Viita, Advanced query language for manipulating complex entities, Information Processing and Management: an International Journal, v.40 n.6, p.869-889, November 2004
Hui Lin , Bo Huang, SQL/SDA: A Query Language for Supporting Spatial Data Analysis and Its Web-Based Implementation, IEEE Transactions on Knowledge and Data Engineering, v.13 n.4, p.671-682, July 2001
D. Dey , S. Sarkar, Generalized Normal Forms for Probabilistic Relational Data, IEEE Transactions on Knowledge and Data Engineering, v.14 n.3, p.485-497, May 2002
Weining Zhang , Ke Wang , Siu-Cheung Chau, Data Partition and Parallel Evaluation of Datalog Programs, IEEE Transactions on Knowledge and Data Engineering, v.7 n.1, p.163-176, February 1995
Sha Guo , Wei Sun , Mark A. Weiss, On Satisfiability, Equivalence, and Implication Problems Involving Conjunctive Queries in Database Systems, IEEE Transactions on Knowledge and Data Engineering, v.8 n.4, p.604-616, August 1996
Xiaolei Qian , Teresa F. Lunt, A MAC Policy Framework for Multilevel Relational Databases, IEEE Transactions on Knowledge and Data Engineering, v.8 n.1, p.3-15, February 1996
Luigi Palopoli , Riccardo Torlone, Generalized Production Rules as a Basis for Integrating Active and Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.9 n.6, p.848-862, November 1997
Tiziana Catarci , Shi-Kuo Chang , Maria F. Costabile , Stefano Levialdi , Giuseppe Santucci, A Graph-Based Framework for Multiparadigmatic Visual Access to Databases, IEEE Transactions on Knowledge and Data Engineering, v.8 n.3, p.455-475, June 1996
Mark Levene , Millist W. Vincent, Justification for Inclusion Dependency Normal Form, IEEE Transactions on Knowledge and Data Engineering, v.12 n.2, p.281-291, March 2000
Xubo Zhang , Z. Meral Ozsoyoglu, Implication and Referential Constraints: A New Formal Reasoning, IEEE Transactions on Knowledge and Data Engineering, v.9 n.6, p.894-910, November 1997
Fosca Giannotti , Giuseppe Manco , Mirco Nanni , Dino Pedreschi, Nondeterministic, Nonmonotonic Logic Databases, IEEE Transactions on Knowledge and Data Engineering, v.13 n.5, p.813-823, September 2001
Claudio Bettini , X. Sean Wang , Sushil Jajodia, Temporal Semantic Assumptions and Their Use in Databases, IEEE Transactions on Knowledge and Data Engineering, v.10 n.2, p.277-296, March 1998
Frank S. C. Tseng , Arbee L. P. Chen , Wei Pang Yang, Searching a minimal semantically-equivalent subset of a set of partial values, The VLDB Journal — The International Journal on Very Large Data Bases, v.2 n.4, p.489-512, October 1993
Abdullah Uz Tansel, Temporal Relational Data Model, IEEE Transactions on Knowledge and Data Engineering, v.9 n.3, p.464-479, May 1997
Sang Ho Lee , Lawrence J. Henschen, Evaluation of Recursive Queries with Extended Rules in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.2, p.328-331, April 1995
B. S. Lee , G. Wiederhold, Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views, IEEE Transactions on Knowledge and Data Engineering, v.6 n.1, p.108-119, February 1994
Bernd Hafenrichter , Werner Kießling, Optimization of relational preference queries, Proceedings of the sixteenth Australasian database conference, p.175-184, January 01, 2005, Newcastle, Australia
A. Formica, Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas, IEEE Transactions on Knowledge and Data Engineering, v.14 n.1, p.123-139, January 2002
Qing Li , Frederick H. Lochovsky, ADOME: An Advanced Object Modeling Environment, IEEE Transactions on Knowledge and Data Engineering, v.10 n.2, p.255-276, March 1998
G. Harhalakis , C. P. Lin , L. Mark , P. R. Muro-Medrano, Implementation of Rule-Based Information Systems for Integrated Manufacturing, IEEE Transactions on Knowledge and Data Engineering, v.6 n.6, p.892-908, December 1994
Mark Johnson, Computing with features as formulae, Computational Linguistics, v.20 n.1, p.1-25, March 1994
Mark Johnson, Computing with features as formulae, Computational Linguistics, v.20 n.1, p.1-25, March 1994
Qun Ren , Margaret H. Dunham , Vijay Kumar, Semantic Caching and Query Processing, IEEE Transactions on Knowledge and Data Engineering, v.15 n.1, p.192-210, January 2003
Georg Gottlob , Christos Papadimitriou, On the complexity of single-rule datalog queries, Information and Computation, v.183 n.1, p.104-122, May 25, 2003
Sara Cohen , Yehoshua Sagiv , Werner Nutt, Equivalences among aggregate queries with negation, ACM Transactions on Computational Logic (TOCL), v.6 n.2, p.328-360, April 2005
Nick Bassiliades , Dimosthenis Anagnostopoulos , Ioannis Vlahavas, Web service composition using a deductive XML rule language, Distributed and Parallel Databases, v.17 n.2, p.135-178, March 2005
Foto Afrati , Stavros Cosmadakis , Eugénie Foustoucos, Datalog programs and their persistency numbers, ACM Transactions on Computational Logic (TOCL), v.6 n.3, p.481-518, July 2005
Daniel Oberle , Steffen Staab , Rudi Studer , Raphael Volz, Supporting application development in the semantic web, ACM Transactions on Internet Technology (TOIT), v.5 n.2, p.328-358, May 2005
Min-Soo Kim , Kyu-Young Whang , Jae-Gil Lee , Min-Jae Lee, n-gram/2L: a space and time efficient two-level n-gram inverted index structure, Proceedings of the 31st international conference on Very large data bases, August 30-September 02, 2005, Trondheim, Norway
Barbara Catania , Elisa Bertino, Static Analysis of Logical Languages with Deferred Update Semantics, IEEE Transactions on Knowledge and Data Engineering, v.15 n.2, p.386-404, February 2003
Sara Cohen, Containment of aggregate queries, ACM SIGMOD Record, v.34 n.1, March 2005
Vincenzo Gervasi , Didar Zowghi, Reasoning about inconsistencies in natural language requirements, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.3, p.277-330, July 2005
Michele Angelaccio , Tiziana Catarci , Giuseppe Santucci, QBD*: A Graphical Query Language with Recursion, IEEE Transactions on Software Engineering, v.16 n.10, p.1150-1163, October 1990
Eyal Amir , Sheila McIlraith, Partition-based logical reasoning for first-order and propositional theories, Artificial Intelligence, v.162 n.1-2, p.49-88, February 2005
Georg Gottlob, Computing cores for data exchange: new algorithms and practical solutions, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland
Deborah East , Miroslaw Truszczyński, Predicate-calculus-based logics for modeling and solving search problems, ACM Transactions on Computational Logic (TOCL), v.7 n.1, p.38-83, January 2006
Francesco Scarcello, Query answering exploiting structural properties, ACM SIGMOD Record, v.34 n.3, September 2005
François Bry , Paula-Lavinia Pǎtrânjan, Reactivity on the web: paradigms and applications of the language XChange, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
Rajeev Alur , Michael Benedikt , Kousha Etessami , Patrice Godefroid , Thomas Reps , Mihalis Yannakakis, Analysis of recursive state machines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.4, p.786-818, July 2005
Latanya Sweeney, Achieving k-anonymity privacy protection using generalization and suppression, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, v.10 n.5, p.571-588, October 2002
Camelia Constantin , David Gross-Amblard , Meryem Guerrouani, Watermill: an optimized fingerprinting system for highly constrained data, Proceedings of the 7th workshop on Multimedia and security, August 01-02, 2005, New York, NY, USA
B. van Gils , H. A. Proper , P. van Bommel , P. de Vrieze, Transformation selection for aptness-based web retrieval, Proceedings of the sixteenth Australasian database conference, p.115-124, January 01, 2005, Newcastle, Australia
David Toman , Grant Weddell, On reasoning about structural equality in XML: a description logic approach, Theoretical Computer Science, v.336 n.1, p.181-203, 25 May 2005
Elizabeth J. Chang , Farookh Khadeer Hussain , Tharam S. Dillon, Fuzzy nature of trust and dynamic trust modeling in service oriented environments, Proceedings of the 2005 workshop on Secure web services, November 11-11, 2005, Fairfax, VA, USA
Stefano Basta , Sergio Flesca , Sergio Greco, Functional queries in datalog, New Generation Computing, v.20 n.4, p.339-371, October 2002
Arvind Arasu , Brian Babcock , Shivnath Babu , Jon McAlister , Jennifer Widom, Characterizing memory requirements for queries over continuous data streams, ACM Transactions on Database Systems (TODS), v.29 n.1, p.162-194, March 2004
Georg Gottlob , Christoph Koch, Logic-based web information extraction, ACM SIGMOD Record, v.33 n.2, June 2004
Foto Afrati , Theodore Andronikos , Vassia Pavlaki , Eugenie Foustoucos , Irène Guessarian, From CTL to datalog, Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday, p.72-85, June 08-08, 2003, San Diego, California, USA
Robert Paige, An NSF Proposal, Higher-Order and Symbolic Computation, v.18 n.1-2, p.211-235, June 2005
Carlos Ordonez , Edward Omiecinski, Efficient Disk-Based K-Means Clustering for Relational Databases, IEEE Transactions on Knowledge and Data Engineering, v.16 n.8, p.909-921, August 2004
Willi Klösgen, Types and forms of data, Handbook of data mining and knowledge discovery, Oxford University Press, Inc., New York, NY, 2002
David W. Cheung , H. Y. Hwang , Ada W. Fu , Jiawei Han, Efficient Rule-Based Attribute-Oriented Induction for Data Mining, Journal of Intelligent Information Systems, v.15 n.2, p.175-200, Sept./Oct. 2000
Sara Cohen , Werner Nutt , Yehoshua Sagiv, Rewriting queries with arbitrary aggregation functions using views, ACM Transactions on Database Systems (TODS), v.31 n.2, p.672-715, June 2006
Sara Cohen , Werner Nutt , Yehoshua Sagiv, Rewriting queries with arbitrary aggregation functions using views, ACM Transactions on Database Systems (TODS), v.31 n.2, p.672-715, June 2006
Prasenjit Mitra, An algorithm for answering queries efficiently using views, Proceedings of the 12th Australasian database conference, p.99-106, January 29-February 01, 2001, Queensland, Australia
Gultekin Özsoyoglu , Wen-Chi Hou , Adegbemiga Ola, Database systems for programmable logic controllers, Proceedings of the 5th international conference on Statistical and Scientific Database Management, p.183-199, April 03-05, 1990, Charlotte, NC
Marko Junkkari, PSE: An Object-Oriented Representation for Modeling and Managing Part-of Relationships, Journal of Intelligent Information Systems, v.25 n.2, p.131-157, September 2005
Nasser Yazdani , Z. Meral Özsoyoglu , Gultekin Özsoyoglu, A framework for feature-based indexing for spatial databases, Proceedings of the 7th international conference on Scientific and Statistical Database Management, p.259-269, September 28-30, 1994, Charlottesville, Virginia
Alessandro D'Atri , Fabrizio L. Ricci, Interpretation of statistical queries to relational databases, Proceedings of the 4th international conference on Statistical and Scientific Database Management, p.246-258, June 21-23, 1988, Rome, Italy
Frederic Doucet , Sandeep Shukla , Rajesh Gupta, Structural component composition for system-level models, Formal methods and models for system design: a system level perspective, Kluwer Academic Publishers, Norwell, MA, 2004
Weining Zhang , Clement T. Yu , Daniel Troy, Necessary and sufficient conditions to linearize doubly recursive programs in logic databases, ACM Transactions on Database Systems (TODS), v.15 n.3, p.459-482, Sept. 1990
Lars Baekgaard , Leo Mark, Incremental computation of nested relational query expressions, ACM Transactions on Database Systems (TODS), v.20 n.2, p.111-148, June 1995
Divesh Srivastava , S. Sudarshan , Raghu Ramakrishnan , Jeffrey F. Naughton, Space optimization in deductive databases, ACM Transactions on Database Systems (TODS), v.20 n.4, p.472-516, Dec. 1995
Joseph M. Hellerstein, Practical predicate placement, ACM SIGMOD Record, v.23 n.2, p.325-335, June 1994
Arvind Arasu , Brian Babcock , Shivnath Babu , Jon McAlister , Jennifer Widom, Characterizing memory requirements for queries over continuous data streams, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin
Antonio Badia, Cooperative Query Answering with GeneralizedQuantifiers, Journal of Intelligent Information Systems, v.12 n.1, p.75-97, April 1999
Lars Bækgaard , Leo Mark, Incremental Computation of Time-Varying Query Expressions, IEEE Transactions on Knowledge and Data Engineering, v.7 n.4, p.583-590, August 1995
Lying versus refusal for known potential secrets, Data Engineering, v.38 n.2, p.199-222, 08/01/2001
Kevin Chen-Chuan Chang , Hector Garcia-Molina , Andreas Paepcke, Boolean Query Mapping Across Heterogeneous Information Sources, IEEE Transactions on Knowledge and Data Engineering, v.8 n.4, p.515-521, August 1996
Robert Givan , David Mcallester, Polynomial-time computation via local inference relations, ACM Transactions on Computational Logic (TOCL), v.3 n.4, p.521-541, October 2002
Usama Fayyad, Knowledge discovery in databases: An overview, Relational Data Mining, Springer-Verlag New York, Inc., New York, NY, 2001
Nabil R. Adam , Rajiv Tewari, Regeneration with Virtual Copies for Distributed Computing Systems, IEEE Transactions on Software Engineering, v.19 n.6, p.594-602, June 1993
Wenfei Fan , Leonid Libkin, On XML integrity constraints in the presence of DTDs, Journal of the ACM (JACM), v.49 n.3, p.368-406, May 2002
Fabrizio Angiulli , Rachel Ben-Eliyahu-Zohary , Giovambattista Ianni , Luigi Palopoli, Computational properties of metaquerying problems, ACM Transactions on Computational Logic (TOCL), v.4 n.2, p.149-180, April 2003
Iztok Savnik , Peter A. Flach, Discovery of multivalued dependencies from relations, Intelligent Data Analysis, v.4 n.3,4, p.195-211, September 2000
Michael Johnson , Robert Rosebrugh, Database interoperability through state-based logical data independence, International Journal of Computer Applications in Technology, v.16 n.2-3, p.97-102, July 2003
Lutz Schlesinger , Florian Irmert , Wolfgang Lehner, Supporting the ETL-process by Web Service technologies, International Journal of Web and Grid Services, v.1 n.1, p.31-47, August 2005
Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Andrea Schaerf, {\cal A}{\cal L}-log: Integrating Datalog and Description Logics, Journal of Intelligent Information Systems, v.10 n.3, p.227-252, June 1, 1998
Lutz Plümer , Gerhard Gröger, Achieving Integrity in Geographic Information Systems—Maps and Nested Maps, Geoinformatica, v.1 n.4, p.345-367, December 1997
Jeffrey D. Ullman , Carlo Zaniolo, Deductive databases: achievements and future directions, ACM SIGMOD Record, v.19 n.4, p.75-82, Dec. 1990
Antonella Guzzo , Domenico Saccà_aff1n2, Semi-Inflationary DATALOG: A declarative database language with procedural features, AI Communications, v.18 n.2, p.79-92, April 2005
J. F. Zelasco , J. Donayo , G. Merayo, Complementary utilities for UML an UP in information systems, Proceedings of the 2007 Euro American conference on Telematics and information systems, May 14-17, 2007, Faro, Portugal
Leopoldo Bertossi , Marcelo Arenas , Cristian Ferretti, SCDBR: An Automated Reasoner for Specifications of Database Updates, Journal of Intelligent Information Systems, v.10 n.3, p.253-280, June 1, 1998
Birute Pliuskuviene , Petras Adomenas, The change of algorithmic data dependencies and their properties in relational sets, Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases, p.95-99, February 15-17, 2006, Madrid, Spain
Vincent Aguilera , Sophie Cluet , Tova Milo , Pierangelo Veltri , Dan Vodislav, Views in a large-scale XML repository, The VLDB Journal — The International Journal on Very Large Data Bases, v.11 n.3, p.238-255, November 2002
Francesco Calimeri , Susanna Cozza , Giovambattista Ianni, External sources of knowledge and value invention in logic programming, Annals of Mathematics and Artificial Intelligence, v.50 n.3-4, p.333-361, August 2007
Snehal Thakkar , Luis Ambite , A. Knoblock, Composing, optimizing, and executing plans for bioinformatics web services, The VLDB Journal — The International Journal on Very Large Data Bases, v.14 n.3, p.330-353, September 2005
Ollivier Haemmerlé , Patrice Buche , Rallou Thomopoulos, The MIEL system: Uniform interrogation of structured and weakly-structured imprecise data, Journal of Intelligent Information Systems, v.29 n.3, p.279-304, December 2007
Kenneth A. Ross, Modular stratification and magic sets for Datalog programs with negation, Journal of the ACM (JACM), v.41 n.6, p.1216-1266, Nov. 1994
Nabil Kamel , Roger King, Intelligent database caching through the use of page-answers and page-traces, ACM Transactions on Database Systems (TODS), v.17 n.4, p.601-646, Dec. 1992
U. Güntzer , W. Kießling , H. Thöne, New direction for uncertainty reasoning in deductive databases, ACM SIGMOD Record, v.20 n.2, p.178-187, June 1991
Jan Chomicki , Tomasz Imieliński, Relational specifications of infinite query answers, ACM SIGMOD Record, v.18 n.2, p.174-183, June 1989
Trevor Jim , Dan Suciu, Dynamically distributed query evaluation, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.28-39, May 2001, Santa Barbara, California, United States
Kenneth A. Ross, Tail recursion elimination in deductive databases, ACM Transactions on Database Systems (TODS), v.21 n.2, p.208-237, June 1996
Yannis Tzitzikas , Carlo Meghini , Nicolas Spyratos, A unified interaction scheme for information sources, Journal of Intelligent Information Systems, v.26 n.1, p.75-93, January 2006
D. J. Russomanno, Prolog query interface: a set-of-mappings approach with optional segmentation, International Journal of Computers and Applications, v.28 n.2, p.144-153, April 2006
Antonio Badia , Mehmed Kantardzic, Graph building as a mining activity: finding links in the small, Proceedings of the 3rd international workshop on Link discovery, p.17-24, August 21-25, 2005, Chicago, Illinois
Peter F. Patel-Schneider , Ian Horrocks, Position paper: a comparison of two modelling paradigms in the Semantic Web, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland
Sara Cohen, User-defined aggregate functions: bridging theory and practice, Proceedings of the 2006 ACM SIGMOD international conference on Management of data, June 27-29, 2006, Chicago, IL, USA
Axel Polleres, From SPARQL to rules (and back), Proceedings of the 16th international conference on World Wide Web, May 08-12, 2007, Banff, Alberta, Canada
Dirk Leinders , Jan Van den Bussche, On the complexity of division and set joins in the relational algebra, Journal of Computer and System Sciences, v.73 n.4, p.538-549, June, 2007
Parke Godfrey , Jarek Gryz, View disassembly: A rewrite that extracts portions of views, Journal of Computer and System Sciences, v.73 n.6, p.941-961, September, 2007
Julian R. Ullmann, Partition search for non-binary constraint satisfaction, Information Sciences: an International Journal, v.177 n.18, p.3639-3678, September, 2007
Frédéric Cuppens , Nora Cuppens-Boulahia , Meriam Ben Ghorbel, High Level Conflict Management Strategies in Advanced Access Control Models, Electronic Notes in Theoretical Computer Science (ENTCS), 186, p.3-26, July, 2007
Tao-Yuan Jen , Dominique Laurent , Nicolas Spyratos, Mining all frequent projection-selection queries from a relational table, Proceedings of the 11th international conference on Extending database technology: Advances in database technology, March 25-29, 2008, Nantes, France
Alexandra Silva , Joost Visser, Strong types for relational databases, Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, September 17-17, 2006, Portland, Oregon, USA
Seema Degwekar , Jeff DePree , Stanley. Y. W. Su , Howard Beck, A distributed event-triggered knowledge sharing system, Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains, May 20-23, 2007, Philadelphia, Pennsylvania
Rakesh Agrawal , Jerry Kiernan , Ramakrishnan Srikant , Yirong Xu, Hippocratic databases, Proceedings of the 28th international conference on Very Large Data Bases, p.143-154, August 20-23, 2002, Hong Kong, China
Georg Gottlob , Reinhard Pichler , Fang Wei, Monadic datalog over finite structures with bounded treewidth, Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 11-13, 2007, Beijing, China
Wolfgang Faber , Gianluigi Greco , Nicola Leone, Magic Sets and their application to data integration, Journal of Computer and System Sciences, v.73 n.4, p.584-609, June, 2007
Antonio Badia , Stijn Vansummeren, Non-linear prefixes in query languages, Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 11-13, 2007, Beijing, China
Seema Degwekar , Jeff DePree , Howard Beck , Carla S. Thomas , Stanley Y. W. Su, Event-triggered data and knowledge sharing among collaborating government organizations, Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains, May 20-23, 2007, Philadelphia, Pennsylvania
G. Terracina , N. Leone , V. Lio , C. Panetta, Experimenting with recursive queries in database and logic programming systems, Theory and Practice of Logic Programming, v.8 n.2, p.129-165, March 2008
Petros Potikas , Panos Rondogiannis , Manolis Gergatsoulis, A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs, Fundamenta Informaticae, v.72 n.4, p.485-527, December 2006
James F. Peters, Near Sets. Special Theory about Nearness of Objects, Fundamenta Informaticae, v.75 n.1-4, p.407-433, January 2007
Royi Ronen , Oded Shmueli, Evaluation of datalog extended with an XPath predicate, Proceedings of the 9th annual ACM international workshop on Web information and data management, November 09-09, 2007, Lisbon, Portugal
Marco Cadoli , Toni Mancini, Combining relational algebra, SQL, constraint modelling, and local search, Theory and Practice of Logic Programming, v.7 n.1-2, p.37-65, January 2007
Naci S. Ishakbeyoglu , Z. Meral Ozsoyoglu, Maintenance of implication integrity constraints under updates to constraints, The VLDB Journal — The International Journal on Very Large Data Bases, v.7 n.2, p.67-78, May 1998
Debabrata Dey , Terence M. Barron , Veda C. Storey, A complete temporal relational algebra, The VLDB Journal — The International Journal on Very Large Data Bases, v.5 n.3, p.167-180, August 1996
T. Catarci , G. Santucci , J. Cardiff, Graphical interaction with heterogeneous databases, The VLDB Journal — The International Journal on Very Large Data Bases, v.6 n.2, p.097-120, May 1997
Gustav Fahl , Tore Risch, Query processing over object views of relational data, The VLDB Journal — The International Journal on Very Large Data Bases, v.6 n.4, p.261-281, November 1997
Jia Liang Han, Optimizing relational queries in connection hypergraphs: nested queries, views, and binding propagations, The VLDB Journal — The International Journal on Very Large Data Bases, v.7 n.1, p.1-11, February 1998
S. Amer-Yahia , S. Cho , L. V. S. Lakshmanan , D. Srivastava, Tree pattern query minimization, The VLDB Journal — The International Journal on Very Large Data Bases, v.11 n.4, p.315-331, December 2002
Can Türker , Michael Gertz, Semantic integrity support in SQL:1999 and commercial (object-)relational database management systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.241-269, December 2001
Elisa Bertino , Ahmed K. Elmagarmid , Mohand-Saïd Hacid, A Knowledge-Based Approach to Visual Information, Journal of Intelligent Information Systems, v.19 n.3, p.319-341, November 2002
S.-Y. Chien , V. J. Tsotras , C. Zaniolo, Efficient schemes for managing multiversionXML documents, The VLDB Journal — The International Journal on Very Large Data Bases, v.11 n.4, p.332-353, December 2002
Serge Abiteboul , Sophie Cluet , Tova Milo, A logical view of structured files, The VLDB Journal — The International Journal on Very Large Data Bases, v.7 n.2, p.96-114, May 1998
John Mylopoulos , Vinay Chaudhri , Dimitris Plexousakis , Adel Shrufi , Thodoros Topologlou, Building knowledge base management systems, The VLDB Journal — The International Journal on Very Large Data Bases, v.5 n.4, p.238-263, December 1996
Odysseas G. Tsatalos , Marvin H. Solomon , Yannis E. Ioannidis, The GMAP: a versatile tool for physical data independence, The VLDB Journal — The International Journal on Very Large Data Bases, v.5 n.2, p.101-118, April 1996
Alon Y. Halevy, Answering queries using views: A survey, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.270-294, December 2001
D. Laurent , J. Lechtenbörger , N. Spyratos , G. Vossen, Monotonic complements for independent data warehouses, The VLDB Journal — The International Journal on Very Large Data Bases, v.10 n.4, p.295-315, December 2001
Paulo S. C. Alencar , Donald D. Cowan , Martin Luo, A Framework for Community Information Systems, Annals of Software Engineering, v.13 n.1-4, p.381-411, June 2002
Katharina Morik , Peter Brockhausen, A Multistrategy Approach to Relational Knowledge Discovery inDatabases, Machine Learning, v.27 n.3, p.287-312, June 1997
T. J. Rogers , Robert Ross , V. S. Subrahmanian, IMPACT: A System for Building Agent Applications, Journal of Intelligent Information Systems, v.14 n.2-3, p.95-113, March-June
Mohand-Saïd Hacid, Representing and Reasoning on Conceptual QueriesOver Image Databases, Journal of Intelligent Information Systems, v.14 n.2-3, p.131-154, March-June
J. Angele , D. Fensel , D. Landes , R. Studer, Developing Knowledge-Based Systems with MIKE, Automated Software Engineering, v.5 n.4, p.389-418, October 1998
Paul Grefen , Jennifer Widom, Protocols for Integrity Constraint Checking in FederatedDatabases, Distributed and Parallel Databases, v.5 n.4, p.327-355, Oct. 1997
Qi Yang , Son Dao , Clement Yu , Naphtali Rishe, A Parallel Scheme Using the Divide-and-Conquer Method, Distributed and Parallel Databases, v.5 n.4, p.405-438, Oct. 1997
Yannis Papakonstantinou , Ashish Gupta , Laura Haas, Capabilities-Based Query Rewriting in Mediator Systems, Distributed and Parallel Databases, v.6 n.1, p.73-110, Jan., 1998
Francesco Buccafurri , Nicola Leone , Pasquale Rullo, Semantics and expressiveness of disjunctive ordered logic, Annals of Mathematics and Artificial Intelligence, v.25 n.3-4, p.311-337, 1999
Sara Cohen , Werner Nutt , Yehoshua Sagiv, Equivalences among aggregate queries with negation, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.215-226, May 2001, Santa Barbara, California, United States
Enrico Pontelli , Gopal Gupta, Parallel symbolic computation in ACE, Annals of Mathematics and Artificial Intelligence, v.21 n.2-4, p.359-395, 1997
Fosca Giannotti , Sergio Greco , Domenico Saccà , Carlo Zaniolo, Programming with non-determinism in deductive databases, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.97-125, 1997
Victor Vianu, Rule-based languages, Annals of Mathematics and Artificial Intelligence, v.19 n.1-2, p.215-259, 1997
Aditya N. Saharia , Yair M. Babad, Enhancing data warehouse performance through query caching, ACM SIGMIS Database, v.31 n.2, p.43-63, Spring 2000
Dariusz Dereniowski , Marek Kubale, Efficient Parallel Query Processing by Graph Ranking, Fundamenta Informaticae, v.69 n.3, p.273-285, August 2006
Peter A. Flach , Iztok Savnik, Database dependency discovery: a machine learning approach, AI Communications, v.12 n.3, p.139-160, August 1999
Henning Christiansen , Davide Martinenghi, On Simplification of Database Integrity Constraints, Fundamenta Informaticae, v.71 n.4, p.371-417, December 2006
Sihem Amer-Yahia , Sophie Cluet , Claude Delobel, Bulk-Loading Techniques for Object Databases and an Application to Relational Data, Proceedings of the 24rd International Conference on Very Large Data Bases, p.534-545, August 24-27, 1998
Nam Huyn, Multiple-View Self-Maintenance in Data Warehousing Environments, Proceedings of the 23rd International Conference on Very Large Data Bases, p.26-35, August 25-29, 1997
Rachel Pottinger , Alon Y. Levy, A Scalable Algorithm for Answering Queries Using Views, Proceedings of the 26th International Conference on Very Large Data Bases, p.484-495, September 10-14, 2000
Jiawei Han , Yandong Cai , Nick Cercone, Knowledge Discovery in Databases: An Attribute-Oriented Approach, Proceedings of the 18th International Conference on Very Large Data Bases, p.547-559, August 23-27, 1992
Dov M. Gabbay , Peter McBrien, Temporal Logic & Historical Databases, Proceedings of the 17th International Conference on Very Large Data Bases, p.423-430, September 03-06, 1991
Serge Abiteboul , Sophie Cluet , Tova Milo, Querying and Updating the File, Proceedings of the 19th International Conference on Very Large Data Bases, p.73-84, August 24-27, 1993
Alexandra Poulovassilis , Carol Small, A Domain-theoretic Approach to Integrating Functional and Logic Database Languages, Proceedings of the 19th International Conference on Very Large Data Bases, p.416-428, August 24-27, 1993
Alon Y. Levy , Inderpal Singh Mumick , Yehoshua Sagiv, Query Optimization by Predicate Move-Around, Proceedings of the 20th International Conference on Very Large Data Bases, p.96-107, September 12-15, 1994
Françoise Fabret , Mireille Régnier , Eric Simon, An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases, Proceedings of the 19th International Conference on Very Large Data Bases, p.455-466, August 24-27, 1993
Michael Kramer , Georg Lausen , Gunter Saake, Updates in a Rule-Based Language for Objects, Proceedings of the 18th International Conference on Very Large Data Bases, p.251-262, August 23-27, 1992
Elena Baralis , Jennifer Widom, An Algebraic Approach to Rule Analysis in Expert Database Systems, Proceedings of the 20th International Conference on Very Large Data Bases, p.475-486, September 12-15, 1994
Elena Baralis , Jennifer Widom, An Algebraic Approach to Rule Analysis in Expert Database Systems, Proceedings of the 20th International Conference on Very Large Data Bases, p.475-486, September 12-15, 1994
Alon Y. Levy , Yehoshua Sagiv, Queries Independent of Updates, Proceedings of the 19th International Conference on Very Large Data Bases, p.171-181, August 24-27, 1993
Suryanarayana M. Sripada , Beat Wüthrich, Cumulative Updates, Proceedings of the 20th International Conference on Very Large Data Bases, p.534-545, September 12-15, 1994
Alexandra Poulovassilis , Carol Small, A Functional Programming Approach to Deductive Databases, Proceedings of the 17th International Conference on Very Large Data Bases, p.491-500, September 03-06, 1991
Narayanan Shivakumar , Hector Garcia-Molina , Chandra Chekuri, Filtering with Approximate Predicates, Proceedings of the 24rd International Conference on Very Large Data Bases, p.263-274, August 24-27, 1998
Sophie Cluet , Pierangelo Veltri , Dan Vodislav, Views in a Large Scale XML Repository, Proceedings of the 27th International Conference on Very Large Data Bases, p.271-280, September 11-14, 2001
Surajit Chaudhuri , Kyuseok Shim, Query Optimization in the Presence of Foreign Functions, Proceedings of the 19th International Conference on Very Large Data Bases, p.529-542, August 24-27, 1993
Roger Weber , Hans-Jörg Schek , Stephen Blott, A Quantitative Analysis and Performance Study for Similarity-Search Methods in High-Dimensional Spaces, Proceedings of the 24rd International Conference on Very Large Data Bases, p.194-205, August 24-27, 1998
Min Fang , Narayanan Shivakumar , Hector Garcia-Molina , Rajeev Motwani , Jeffrey D. Ullman, Computing Iceberg Queries Efficiently, Proceedings of the 24rd International Conference on Very Large Data Bases, p.299-310, August 24-27, 1998
Martin Staudt , Matthias Jarke, Incremental Maintenance of Externally Materialized Views, Proceedings of the 22th International Conference on Very Large Data Bases, p.75-86, September 03-06, 1996
Juhani Kuittinen , Otto Nurmi , Seppo Sippu , Eljas Soisalon-Soininen, Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries, Proceedings of the 16th International Conference on Very Large Data Bases, p.372-379, August 13-16, 1990
David B. Kemp , Kotagiri Ramamohanarao , Zoltan Somogyi, Right-, left- and multi-linear rule transformations that maintain context information, Proceedings of the 16th International Conference on Very Large Data Bases, p.380-391, August 13-16, 1990
Alon Y. Levy, Obtaining Complete Answers from Incomplete Databases, Proceedings of the 22th International Conference on Very Large Data Bases, p.402-412, September 03-06, 1996
Rosa Meo , Giuseppe Psaila , Stefano Ceri, A New SQL-like Operator for Mining Association Rules, Proceedings of the 22th International Conference on Very Large Data Bases, p.122-133, September 03-06, 1996
Alexander Tuzhilin , James Clifford, A Temporal Relational Algebra as Basis for Temporal Relational Completeness, Proceedings of the 16th International Conference on Very Large Data Bases, p.13-23, August 13-16, 1990
Sin Yeung Lee , Tok Wang Ling, Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases, Proceedings of the 22th International Conference on Very Large Data Bases, p.495-505, September 03-06, 1996
Michael H. Böhlen , Richard Thomas Snodgrass , Michael D. Soo, Coalescing in Temporal Databases, Proceedings of the 22th International Conference on Very Large Data Bases, p.180-191, September 03-06, 1996
Richard Hull , Masatoshi Yoshikawa, ILOG: Declarative Creation and Manipulation of Object Identifiers, Proceedings of the 16th International Conference on Very Large Data Bases, p.455-468, August 13-16, 1990
Kjetil Nørvåg, The Persistent Cache: Improving OID Indexing in Temporal Object-Oriented Database Systems, Proceedings of the 25th International Conference on Very Large Data Bases, p.66-77, September 07-10, 1999
Xiaolei Qian, Synthesizing Database Transactions, Proceedings of the 16th International Conference on Very Large Data Bases, p.552-565, August 13-16, 1990
Inderpal Singh Mumick , Hamid Pirahesh , Raghu Ramakrishnan, The Magic of Duplicates and Aggregates, Proceedings of the 16th International Conference on Very Large Data Bases, p.264-277, August 13-16, 1990
Luca Cardelli , Giorgio Ghelli, TQL: a query language for semistructured data based on the ambient logic, Mathematical Structures in Computer Science, v.14 n.3, p.285-327, June 2004
Pamela A. Taylor , Dana L. Wyatt, Database and artificial intelligence integration: a challenge to academia, ACM SIGCSE Bulletin, v.24 n.4, p.35-42, Dec. 1992
Eugenio Di Sciascio , Francesco M. Donini , Marina Mongiello, A Logic for SVG Documents Query and Retrieval, Multimedia Tools and Applications, v.24 n.2, p.125-153, November 2004
Don Cohen , Neil Goldman , K. Narayanaswamy, Adding performance information to ADT interfaces, ACM SIGPLAN Notices, v.29 n.8, p.84-93, Aug. 1994
Chen Li, Computing complete answers to queries in the presence of limited access patterns, The VLDB Journal — The International Journal on Very Large Data Bases, v.12 n.3, p.211-227, October 2003
Luc Dehaspe , Hannu Toivonen, Discovery of frequent DATALOG patterns, Data Mining and Knowledge Discovery, v.3 n.1, p.7-36, March 1999
Madhur Kohli , Jorge Lobo, Realizing Network Control Policies Using Distributed Action Plans, Journal of Network and Systems Management, v.11 n.3, p.305-327, September 2003
Chun-Nan Hsu , Craig A. Knoblock, Discovering Robust Knowledge from Databases that Change, Data Mining and Knowledge Discovery, v.2 n.1, p.69-95, January 1998
Kalervo Järvelin , Jaana Kekäläinen , Timo Niemi, ExpansionTool: Concept-Based Query Expansion and Construction, Information Retrieval, v.4 n.3-4, p.231-255, September-December 2001
Rosa Meo , Giuseppe Psaila , Stefano Ceri, An Extension to SQL for Mining Association Rules, Data Mining and Knowledge Discovery, v.2 n.2, p.195-224, June 1998
David Harel, Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering, ACM SIGACT News, v.26 n.2, p.21-25, June 1995
Ion Androutsopoulos , Graeme Ritchie , Peter Thanisch, Time, tense and aspect in natural language database interfaces, Natural Language Engineering, v.4 n.3, p.229-276, September 1998
Hugo Fuks , Leonardo Mendonça de Moura, Additional workshop papers presented at CSCW'94, ACM SIGOIS Bulletin, v.16 n.1, p.64-68, Aug. 1995
Arvind Arasu , Raghav Kaushik, A grammar-based entity representation framework for data cleaning, Proceedings of the 35th SIGMOD international conference on Management of data, June 29-July 02, 2009, Providence, Rhode Island, USA
M. H. van Emden, Value Constraints in the CLP Scheme, Constraints, v.2 n.2, p.163-183, October 1997
Paula M. Logan , Clifford W. Hale , John M. Atkins, An academic relational algebra database management system, ACM SIGCSE Bulletin, v.22 n.3, p.25-28, Sep. 1990
Nam Huyn, Maintaining Global Integrity Constraints in DistributedDatabases, Constraints, v.2 n.3-4, p.377-399, 1997
Joachim Biskup , Piero Bonatti, Controlled query evaluation with open queries for a decidable relational submodel, Annals of Mathematics and Artificial Intelligence, v.50 n.1-2, p.39-77, June 2007
Krzysztof R. Apt , Eric Monfroy, Constraint programming viewed as rule-based programming, Theory and Practice of Logic Programming, v.1 n.6, p.713-750, November 2001
Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki, Answer sets for consistent query answering in inconsistent databases, Theory and Practice of Logic Programming, v.3 n.4, p.393-424, July 2003
Sergio Greco , Carlo Zaniolo, Greedy algorithms in Datalog, Theory and Practice of Logic Programming, v.1 n.4, p.381-407, July 2001
Victor W. Marek , Jeffrey B. Remmel, On the expressibility of stable logic programming, Theory and Practice of Logic Programming, v.3 n.4, p.551-567, July 2003
Mengchi Liu , Tok Wang Ling, A Conceptual Model and Rule-Based Query Language for HTML, World Wide Web, v.4 n.1-2, p.49-77, 2001
Sergio Flesca , Sergio Greco, Declarative semantics for active rules, Theory and Practice of Logic Programming, v.1 n.1, p.43-69, January 2001
T. P. Martin , B. Azvine, Acquisition of Soft Taxonomies for Intelligent Personal Hierarchies and the Soft Semantic Web, BT Technology Journal, v.21 n.4, p.113-122, 2003
Chitta Baral , Graciela Gonzalez , Tran Son, Conceptual Modeling and Querying inMultimedia Databases, Multimedia Tools and Applications, v.7 n.1-2, p.37-66, July 1998
Flavius Frasincar , Geert-Jan Houben , Richard Vdovjak , Peter Barna, RAL: An Algebra for Querying RDF, World Wide Web, v.7 n.1, p.83-109, March 2004
Somchai Chatvichienchai , Mizuho Iwaihara , Yahiko Kambayashi, Authorization Translation for XML Document Transformation, World Wide Web, v.7 n.1, p.111-138, March 2004
Gregory McColm, Guarded Quantification in Least Fixed Point Logic, Journal of Logic, Language and Information, v.13 n.1, p.61-110, Winter 2004
Leopoldo Bertossi , Camilla Schwind, Database Repairs and Analytic Tableaux, Annals of Mathematics and Artificial Intelligence, v.40 n.1-2, p.5-35, January 2004
Arnon Avron, Constructibility and decidability versus domain independence and absoluteness, Theoretical Computer Science, v.394 n.3, p.144-158, April, 2008
F. Calimeri , S. Perri , F. Ricca, Experimenting with parallelism for the instantiation of ASP programs, Journal of Algorithms, v.63 n.1-3, p.34-54, January, 2008
Min-Soo Kim , Kyu-Young Whang , Jae-Gil Lee , Min-Jae Lee, Structural optimization of a full-text n-gram index using relational normalization, The VLDB Journal — The International Journal on Very Large Data Bases, v.17 n.6, p.1485-1507, November 2008
Efstratios Kontopoulos , Nick Bassiliades , Grigoris Antoniou, Deploying defeasible logic rule bases for the semantic web, Data & Knowledge Engineering, v.66 n.1, p.116-146, July, 2008
Peter F. Patel-Schneider , Ian Horrocks, A comparison of two modelling paradigms in the Semantic Web, Web Semantics: Science, Services and Agents on the World Wide Web, v.5 n.4, p.240-250, December, 2007
Dániel Varró , András Balogh, The model transformation language of the VIATRA2 framework, Science of Computer Programming, v.68 n.3, p.214-234, October, 2007
P. Cordero , A. Mora , I. P. de Guzmán , M. Enciso, Non-deterministic ideal operators: An adequate tool for formalization in Data Bases, Discrete Applied Mathematics, v.156 n.6, p.911-923, March, 2008
Dániel Varró , András Balogh, The model transformation language of the VIATRA2 framework, Science of Computer Programming, v.68 n.3, p.187-207, October, 2007
Lipyeow Lim , Haixun Wang , Min Wang, Unifying data and domain knowledge using virtual views, Proceedings of the 33rd international conference on Very large data bases, September 23-27, 2007, Vienna, Austria
Monica S. Lam , Michael Martin , Benjamin Livshits , John Whaley, Securing web applications with static and dynamic information flow tracking, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.3-12, January 07-08, 2008, San Francisco, California, USA
Neng-fa Zhou , Taisuke Sato , Yi-dong Shen, Linear tabling strategies and optimizations, Theory and Practice of Logic Programming, v.8 n.1, p.81-109, January 2008
Verena Kantere , Dimitrios Tsoumakos , Timos Sellis , Nick Roussopoulos, GrouPeer: Dynamic clustering of P2P databases, Information Systems, v.34 n.1, p.62-86, March, 2009
Filippo Furfaro , Sergio Greco , Cristian Molinaro, A three-valued semantics for querying and repairing inconsistent databases, Annals of Mathematics and Artificial Intelligence, v.51 n.2-4, p.167-193, December 2007
Simona Perri , Francesco Scarcello , Gelsomina Catalano , Nicola Leone, Enhancing DLV instantiator by backjumping techniques, Annals of Mathematics and Artificial Intelligence, v.51 n.2-4, p.195-228, December 2007
Jos de Bruijn , Ruben Lara , Sinuhe Arroyo , Juan Miguel Gomez , Sung-Kook Han , Dieter Fensel, A unified Semantic Web services architecture based on WSMF and UPML, International Journal of Web Engineering and Technology, v.2 n.2/3, p.148-180, December 2005
Hong-Cheu Liu , Jeffrey Xu Yu , Weifa Liang, Safety, domain independence and translation of complex value database queries, Information Sciences: an International Journal, v.178 n.12, p.2507-2533, June, 2008
Serge Abiteboul , Omar Benjelloun , Tova Milo, The Active XML project: an overview, The VLDB Journal — The International Journal on Very Large Data Bases, v.17 n.5, p.1019-1040, August 2008
Nedzad Dukić , Zikrija Avdagić, Fuzzy Functional Dependency and the Resolution Principle, Informatica, v.16 n.1, p.45-60, January 2005
Toni Mancini , Davide Micaletto , Fabio Patrizi , Marco Cadoli, Evaluating ASP and Commercial Solvers on the CSPLib, Constraints, v.13 n.4, p.407-436, December 2008
Johan Boye , Mats WirÉn, Robust parsing and spoken negotiative dialogue with databases, Natural Language Engineering, v.14 n.3, p.289-312, July 2008
Ondřej Lhoták , Laurie Hendren, Relations as an abstraction for BDD-based program analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-63, July 2008
Ondřej Lhoták , Laurie Hendren, Relations as an abstraction for BDD-based program analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-63, July 2008
Serge Abiteboul , Ohad Greenshpan , Tova Milo, Modeling the mashup space, Proceeding of the 10th ACM workshop on Web information and data management, October 30-30, 2008, Napa Valley, California, USA
Azzurra Ragone , Umberto Straccia , Tommaso Di Noia , Eugenio Di Sciascio , Francesco M. Donini, Fuzzy matchmaking in e-marketplaces of peer entities using Datalog, Fuzzy Sets and Systems, v.160 n.2, p.251-268, January, 2009
Dongfeng Chen , Rada Chirkova , Maxim Kormilitsin , Fereidoon Sadri , Timo J. Salo, Query optimization in xml-based information integration, Proceeding of the 17th ACM conference on Information and knowledge management, October 26-30, 2008, Napa Valley, California, USA
Royi Ronen , Oded Shmueli, Using a relational processor and an XPath processor to evaluate joint queries, Proceedings of the 2008 EDBT workshop on Database technologies for handling XML information on the web, March 25-25, 2008, Nantes, France
Yi-Dong Shen, Reasoning with recursive loops under the PLP framework, ACM Transactions on Computational Logic (TOCL), v.9 n.4, p.1-31, August 2008
Floriana Esposito , Nicola Di Mauro , Teresa M. A. Basile , Stefano Ferilli, Multi-Dimensional Relational Sequence Mining, Fundamenta Informaticae, v.89 n.1, p.23-43, January 2009
Wolfgang Faber , Gerald Pfeifer , Nicola Leone , Tina Dell'armi , Giuseppe Ielpa, Design and implementation of aggregate functions in the dlv system*, Theory and Practice of Logic Programming, v.8 n.5-6, p.545-580, November 2008
Royi Ronen , Oded Shmueli, Evaluating very large datalog queries on social networks, Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, March 24-26, 2009, Saint Petersburg, Russia
Greg Holland , John Talburt, An entity-based integration framework for modeling and evaluating data enhancement products, Journal of Computing Sciences in Colleges, v.24 n.5, May 2009
John Field , Maria-Cristina Marinescu , Christian Stefansen, Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications, Theoretical Computer Science, v.410 n.2-3, p.168-201, February, 2009
An Lu , Wilfred Ng, Maintaining consistency of vague databases using data dependencies, Data & Knowledge Engineering, v.68 n.7, p.622-641, July, 2009
Jack Minker, Deductive database, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
Malte Helmert, Concise finite-domain representations for PDDL planning tasks, Artificial Intelligence, v.173 n.5-6, p.503-535, April, 2009
Andrea Calì , Georg Gottlob , Thomas Lukasiewicz, Datalog±: a unified approach to ontologies and integrity constraints, Proceedings of the 12th International Conference on Database Theory, March 23-25, 2009, St. Petersburg, Russia
Benoît Larose , Pascal Tesson, Universal algebra and hardness results for constraint satisfaction problems, Theoretical Computer Science, v.410 n.18, p.1629-1647, April, 2009
Senlin Liang , Paul Fodor , Hui Wan , Michael Kifer, OpenRuleBench: an analysis of the performance of rule engines, Proceedings of the 18th international conference on World wide web, April 20-24, 2009, Madrid, Spain
Sung-Hyun Shin , Yang-Sae Moon , Jinho Kim , Sang-Wook Kim, Efficient Storage and Querying of Horizontal Tables Using a PIVOT Operation in Commercial Relational DBMSs, IEICE - Transactions on Information and Systems, v.E91-D n.6, p.1719-1729, June 2008
Sara Cohen, Equivalence of queries that are sensitive to multiplicities, The VLDB Journal — The International Journal on Very Large Data Bases, v.18 n.3, p.765-785, June 2009
Eugénie Foustoucos , Labrini Kalantzi, The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach, Fundamenta Informaticae, v.92 n.3, p.193-231, August 2009
M. Alpuente , M. A. Feliú , C. Joubert , A. Villanueva, DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer, Electronic Notes in Theoretical Computer Science (ENTCS), 248, p.57-66, August, 2009
Sunil Choenni , Jan van Dijk, Towards privacy preserving data reconciliation for criminal justice chains, Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government, May 17-20, 2009
Arno J. Knobbe, Multi-Relational Data Mining, Proceeding of the 2005 conference on Multi-Relational Data Mining, p.1-118, May 26, 2005
Eugenio Di Sciascio , Francesco M. Donini , Marina Mongiello, Structured knowledge representation for image retrieval, Journal of Artificial Intelligence Research, v.16 n.1, p.209-257, January 2002
Jeffrey C. Schlimmer , Patricia Crane Wells, Quantitative results comparing three intelligent interfaces for information capture: a case study adding name information into an electronic personal organizer, Journal of Artificial Intelligence Research, v.5 n.1, p.329-349, August 1996
J. R. Quinlan, Learning first-order definitions of functions, Journal of Artificial Intelligence Research, v.5 n.1, p.139-161, August 1996
Alan Fern , Robert Givan, Sequential inference with reliable observations: Learning to construct force-dynamic models, Artificial Intelligence, v.170 n.14-15, p.1081-1100, October, 2006
Phokion G. Kolaitis, Constraint satisfaction, databases, and logic, Proceedings of the 18th international joint conference on Artificial intelligence, p.1587-1595, August 09-15, 2003, Acapulco, Mexico
Jun Kiniwa, How to Improve Safety under Convergence Using Stable Storage, IEEE Transactions on Parallel and Distributed Systems, v.17 n.4, p.389-398, April 2006
Van hung Le , Fei Liu , Dinh khang Tran, Fuzzy linguistic logic programming and its applications, Theory and Practice of Logic Programming, v.9 n.3, p.309-341, May 2009
Yann Loyer , Umberto Straccia, Approximate well-founded semantics, query answering and generalized normal logic programs over lattices, Annals of Mathematics and Artificial Intelligence, v.55 n.3-4, p.389-417, April 2009
V. Srinivasan , D. T. Chang, Object persistence in object-oriented applications, IBM Systems Journal, v.36 n.1, p.66-87, 1997
Buğra Gedik , Henrique Andrade , Kun-Lung Wu, A code generation approach to optimizing high-performance distributed data stream processing, Proceeding of the 18th ACM conference on Information and knowledge management, November 02-06, 2009, Hong Kong, China
Eyal Amir , Sheila McIlraith, Partition-based logical reasoning for first-order and propositional theories, Artificial Intelligence, v.162 n.1-2, p.49-88, February 2005
Richard Chbeir , Dominique Laurent, Towards a novel approach to multimedia data mixed fragmentation, Proceedings of the International Conference on Management of Emergent Digital EcoSystems, October 27-30, 2009, France
Alon Y. Levy , Marie-Christine Rousset, Verification of knowledge bases based on containment checking, Artificial Intelligence, v.101 n.1-2, p.227-250, May, 1998
Dario Colazzo , Carlo Sartiani, Detection of corrupted schema mappings in XML data integration systems, ACM Transactions on Internet Technology (TOIT), v.9 n.4, p.1-53, September 2009
Tao-Yuan Jen , Dominique Laurent , Nicolas Spyratos, Mining frequent conjunctive queries in star schemas, Proceedings of the 2009 International Database Engineering & Applications Symposium, September 16-18, 2009, Cetraro - Calabria, Italy
Timothy L. Hinrichs , Natasha S. Gude , Martin Casado , John C. Mitchell , Scott Shenker, Practical declarative network management, Proceedings of the 1st ACM workshop on Research on enterprise networking, August 21-21, 2009, Barcelona, Spain
Stefan Schoenmackers , Oren Etzioni , Daniel S. Weld, Scaling textual inference to the web, Proceedings of the Conference on Empirical Methods in Natural Language Processing, October 25-27, 2008, Honolulu, Hawaii

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Distributed databases

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.0 General
          Subjects: Security, integrity, and protection**
      H.2.3 Languages
          Subjects: Data description languages (DDL); Query languages
  H.3 INFORMATION STORAGE AND RETRIEVAL

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Logic programming
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Predicate logic


General Terms:
Algorithms, Design, Languages, Theory


REVIEW

"Krishnarao Gururao Kulkarni : Reviewer"

The two editions of Ullman's earlier book on Principles of database systems [1,2] have both been popular texts since their publication. The book under review is the first of two volumes intended to replace them. Most of the material i  more...

Collaborative Colleagues:
Jeffrey D. Ullman: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player