skip to main content
Skip header Section
Principles of database and knowledge-base systems, Vol. IMay 1988
Publisher:
  • Computer Science Press, Inc.
  • Imprint of W H Freeman and Co. 41 Madison Ave., 37th floor New York, NY
  • United States
ISBN:978-0-88175-188-8
Published:10 May 1988
Pages:
631
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    Iglesias E and Vidal M KGSaw: One Size Does Not Fit All- Planning Methods for Data Fragmentation for Efficiently Creating Knowledge Graphs Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, (1668-1670)
  2. ACM
    Gatterbauer W and Dunne C (2024). On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages, Proceedings of the ACM on Management of Data, 2:1, (1-27), Online publication date: 12-Mar-2024.
  3. ACM
    Abeysinghe S, Xhebraj A and Rompf T (2024). Flan: An Expressive and Efficient Datalog Compiler for Program Analysis, Proceedings of the ACM on Programming Languages, 8:POPL, (2577-2609), Online publication date: 5-Jan-2024.
  4. ACM
    Guilloud S and Kunčak V (2024). Orthologic with Axioms, Proceedings of the ACM on Programming Languages, 8:POPL, (1150-1178), Online publication date: 5-Jan-2024.
  5. Rong K, Budiu M, Skiadopoulos A, Suresh L and Tai A (2023). Scaling a Declarative Cluster Manager Architecture with Query Optimization Techniques, Proceedings of the VLDB Endowment, 16:10, (2618-2631), Online publication date: 1-Jun-2023.
  6. ACM
    Calimeri F, Ianni G, Pacenza F, Perri S and Zangari J ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, (1-9)
  7. ACM
    Atre M The Case of SPARQL UNION, FILTER and DISTINCT Proceedings of the ACM Web Conference 2022, (1882-1892)
  8. ACM
    Aamer H, Hidders J, Paredaens J and Van den Bussche J Expressiveness within Sequence Datalog Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (70-81)
  9. ACM
    Hu X, Zhao D, Jordan H and Scholz B An efficient interpreter for Datalog by de-specializing relations Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (681-695)
  10. ACM
    Leventidis A, Zhang J, Dunne C, Gatterbauer W, Jagadish H and Riedewald M QueryVis: Logic-based Diagrams help Users Understand Complicated SQL Queries Faster Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, (2303-2318)
  11. ACM
    Jachiet L, Genevès P, Gesbert N and Layaida N On the Optimization of Recursive Relational Queries: Application to Graph Queries Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, (681-697)
  12. Chattha M, Siddiqui S, Munir M, Malik M, van Elst L, Dengel A and Ahmed S DeepEX: Bridging the Gap Between Knowledge and Data Driven Techniques for Time Series Forecasting Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning, (639-651)
  13. ACM
    Kreminski M, Acharya D, Junius N, Oliver E, Compton K, Dickinson M, Focht C, Mason S, Mazeika S and Wardrip-Fruin N Cozy mystery construction kit Proceedings of the 14th International Conference on the Foundations of Digital Games, (1-9)
  14. Qin Y, Tao X, Huang Y and Lü J (2019). An index structure supporting rule activation in pervasive applications, World Wide Web, 22:1, (1-37), Online publication date: 1-Jan-2019.
  15. ACM
    Benedikt M (2018). Logic-based Perspectives on Query Reformulationover Restricted Interfaces, ACM SIGMOD Record, 47:2, (5-16), Online publication date: 11-Dec-2018.
  16. Liu Y, Liu H, Xiao D and Eltabakh M (2018). Adaptive correlation exploitation in big data query optimization, The VLDB Journal — The International Journal on Very Large Data Bases, 27:6, (873-898), Online publication date: 1-Dec-2018.
  17. Fungwacharakorn W and Satoh K Legal Debugging in Propositional Legal Representation New Frontiers in Artificial Intelligence, (146-159)
  18. ACM
    Tsankov P, Dan A, Drachsler-Cohen D, Gervais A, Bünzli F and Vechev M Securify Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, (67-82)
  19. Rebele T, Tanon T and Suchanek F Bash Datalog: Answering Datalog Queries with Unix Shell Commands The Semantic Web – ISWC 2018, (566-582)
  20. Julián-Iranzo P and Sáenz-Pérez F (2018). A Fuzzy Datalog Deductive Database System, IEEE Transactions on Fuzzy Systems, 26:5, (2634-2648), Online publication date: 1-Oct-2018.
  21. Truszczynski M An introduction to the stable and well-founded semantics of logic programs Declarative Logic Programming, (121-177)
  22. Cruz-Filipe L, Gaspar G, Nunes I and Schneider-Kamp P (2018). Active integrity constraints for general-purpose knowledge bases, Annals of Mathematics and Artificial Intelligence, 83:3-4, (213-246), Online publication date: 1-Aug-2018.
  23. Gebser M, Leone N, Maratea M, Perri S, Ricca F and Schaub T Evaluation techniques and systems for answer set programming Proceedings of the 27th International Joint Conference on Artificial Intelligence, (5450-5456)
  24. Brandt S, Kalayci E, Ryzhikov V, Xiao G and Zakharyaschev M (2019). Querying log data with metric temporal logic, Journal of Artificial Intelligence Research, 62:1, (829-877), Online publication date: 1-May-2018.
  25. Seipel D, Nogatz F and Abreu S (2018). Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies, Computer Languages, Systems and Structures, 51:C, (102-117), Online publication date: 1-Jan-2018.
  26. ACM
    Savenkov V, Mehmood Q, Umbrich J and Polleres A Counting to k or how SPARQL1.1 Property Paths Can Be Extended to Top-k Path Queries Proceedings of the 13th International Conference on Semantic Systems, (97-103)
  27. Podolskii V (2017). Bounds in Ontology-Based Data Access via Circuit Complexity, Theory of Computing Systems, 61:2, (464-493), Online publication date: 1-Aug-2017.
  28. ACM
    Koutris P and Wijsen J (2017). Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints, ACM Transactions on Database Systems, 42:2, (1-45), Online publication date: 1-Jun-2017.
  29. ACM
    Zhao K and Yu J All-in-One Proceedings of the 2017 ACM International Conference on Management of Data, (1165-1180)
  30. Kang J, Lee J, Nagendra V and Banerjee S LMS: Label Management Service for intent-driven Cloud Management 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), (177-185)
  31. Greco G and Scarcello F (2017). Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems, Information and Computation, 252:C, (201-220), Online publication date: 1-Feb-2017.
  32. ACM
    Khamis M, Ngo H, Ré C and Rudra A (2016). Joins via Geometric Resolutions, ACM Transactions on Database Systems, 41:4, (1-45), Online publication date: 23-Dec-2016.
  33. Calimeri F, Fuscà D, Perri S and Zangari J -dlv: The New Intelligent Grounder of dlv AI*IA 2016 Advances in Artificial Intelligence, (192-207)
  34. Lavín Puente V (2016). Learning Sets of Antecedent-restricted Functional and Multivalued Dependencies with Queries, Theory of Computing Systems, 59:3, (500-516), Online publication date: 1-Oct-2016.
  35. Kaufmann B, Leone N, Perri S and Schaub T (2016). Grounding and Solving in Answer Set Programming, AI Magazine, 37:3, (25-32), Online publication date: 1-Sep-2016.
  36. Bagan G, Bonifati A, Ciucanu R, Fletcher G, Lemay A and Advokaat N (2016). Generating flexible workloads for graph databases, Proceedings of the VLDB Endowment, 9:13, (1457-1460), Online publication date: 1-Sep-2016.
  37. Liu H, Xiao D, Didwania P and Eltabakh M (2016). Exploiting soft and hard correlations in big data query optimization, Proceedings of the VLDB Endowment, 9:12, (1005-1016), Online publication date: 1-Aug-2016.
  38. ACM
    Madsen M, Yee M and Lhoták O (2016). From Datalog to flix: a declarative language for fixed points on lattices, ACM SIGPLAN Notices, 51:6, (194-208), Online publication date: 1-Aug-2016.
  39. ACM
    Caroprese L and Zumpano E A Deterministic Model for P2P Deductive Databases Proceedings of the 20th International Database Engineering & Applications Symposium, (193-198)
  40. Lagriffoul F and Andres B (2016). Combining task and motion planning, International Journal of Robotics Research, 35:8, (890-927), Online publication date: 1-Jul-2016.
  41. Kaminski M, Nenov Y and Cuenca Grau B (2016). Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies, Artificial Intelligence, 236:C, (90-118), Online publication date: 1-Jul-2016.
  42. ACM
    Cao Y and Fan W An Effective Syntax for Bounded Relational Queries Proceedings of the 2016 International Conference on Management of Data, (599-614)
  43. ACM
    Madsen M, Yee M and Lhoták O From Datalog to flix: a declarative language for fixed points on lattices Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (194-208)
  44. Martínez-Angeles C, Wu H, Dutra I, Costa V and Buenabad-Chávez J (2016). Relational Learning with GPUs, International Journal of Parallel Programming, 44:3, (663-685), Online publication date: 1-Jun-2016.
  45. Luteberget B, Johansen C and Steffen M Rule-Based Consistency Checking of Railway Infrastructure Designs Proceedings of the 12th International Conference on Integrated Formal Methods - Volume 9681, (491-507)
  46. Cruz-Filipe L, Nunes I and Schneider-Kamp P Integrity Constraints for General-Purpose Knowledge Bases Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems - Volume 9616, (235-254)
  47. Phan T, D'Orazio L and Rigaux P A Theoretical and Experimental Comparison of Filter-Based Equijoins in MapReduce Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV - Volume 9620, (33-70)
  48. ACM
    Noël D, Villanova-Oliver M, Gensel J and Le Quéau P Modeling semantic trajectories including multiple viewpoints and explanatory factors Proceedings of the 1st International ACM SIGSPATIAL Workshop on Smart Cities and Urban Analytics, (107-113)
  49. ACM
    Scherzinger S, Störl U and Klettke M A Datalog-based protocol for lazy data migration in agile NoSQL Application development Proceedings of the 15th Symposium on Database Programming Languages, (41-44)
  50. ACM
    Caroprese L and Zumpano E A Logic Based Approach for Managing Incompleteness and Inconsistencies in P2P Deductive Databases Proceedings of the 19th International Database Engineering & Applications Symposium, (168-173)
  51. ACM
    Muşlu K, Brun Y and Meliou A Preventing data errors with continuous testing Proceedings of the 2015 International Symposium on Software Testing and Analysis, (373-384)
  52. Puente V (2015). Learning an Extension of the Class of Functional Dependencies with Queries, New Generation Computing, 33:3, (319-340), Online publication date: 1-Jul-2015.
  53. Langer A, Reidl F, Rossmanith P and Sikdar S (2014). Practical algorithms for MSO model-checking on tree-decomposable graphs, Computer Science Review, 13:C, (39-74), Online publication date: 1-Nov-2014.
  54. Beck H, Dao-Tran M, Eiter T and Fink M Towards a logic-based framework for analyzing stream reasoning Proceedings of the 3rd International Conference on Ordering and Reasoning - Volume 1303, (11-22)
  55. ACM
    Endres M, Roocks P and Kießling W Algebraic optimization of grouped preference queries Proceedings of the 18th International Database Engineering & Applications Symposium, (247-256)
  56. ACM
    Caroprese L and Zumpano E Dealing with incompleteness and inconsistency in P2P deductive databases Proceedings of the 18th International Database Engineering & Applications Symposium, (124-131)
  57. Gonçalves B and Porto F (2014). γ-DB, Proceedings of the VLDB Endowment, 7:11, (959-962), Online publication date: 1-Jul-2014.
  58. ACM
    Greco G and Scarcello F Counting solutions to conjunctive queries Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (132-143)
  59. Deutch D, Moskovitch Y and Tannen V (2014). A provenance framework for data-dependent process analysis, Proceedings of the VLDB Endowment, 7:6, (457-468), Online publication date: 1-Feb-2014.
  60. Greco S, Pijcke F and Wijsen J (2014). Certain query answering in partially consistent databases, Proceedings of the VLDB Endowment, 7:5, (353-364), Online publication date: 1-Jan-2014.
  61. Tzacheva A, Toland T, Poole P and Barnes D Ontology Database System and Triggers Proceedings of the 12th International Symposium on Advances in Intelligent Data Analysis XII - Volume 8207, (416-426)
  62. ACM
    Calautti M, Greco S and Trubitsyna I Detecting decidable classes of finitely ground logic programs with function symbols Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, (239-250)
  63. ACM
    Muşlu K, Brun Y and Meliou A Data debugging with continuous testing Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (631-634)
  64. ACM
    Wittocx J, Denecker M and Bruynooghe M (2013). Constraint Propagation for First-Order Logic and Inductive Definitions, ACM Transactions on Computational Logic, 14:3, (1-45), Online publication date: 1-Aug-2013.
  65. Ritter D The business network data management platform Proceedings of the 29th British National conference on Big Data, (218-227)
  66. ACM
    Wijsen J Charting the tractability frontier of certain conjunctive query answering Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems, (189-200)
  67. Aranda G, Nieva S, Sáenz-Pérez F and Sánchez-Hernández J Formalizing a Broader Recursion Coverage in SQL Proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages - Volume 7752, (93-108)
  68. ACM
    Singh V, Gao M and Jain R Situation recognition Proceedings of the 20th ACM international conference on Multimedia, (1209-1218)
  69. Caroprese L, Trubitsyna I, Truszczyński M and Zumpano E The view-update problem for indefinite databases Proceedings of the 13th European conference on Logics in Artificial Intelligence, (134-146)
  70. Caroprese L and Zumpano E Restoring consistency in p2p deductive databases Proceedings of the 6th international conference on Scalable Uncertainty Management, (168-179)
  71. Decan A, Pijcke F and Wijsen J Certain conjunctive query answering in SQL Proceedings of the 6th international conference on Scalable Uncertainty Management, (154-167)
  72. Zaniolo C Logical foundations of continuous query languages for data streams Proceedings of the Second international conference on Datalog in Academia and Industry, (177-189)
  73. Ritter D and Westmann T Business network reconstruction using datalog Proceedings of the Second international conference on Datalog in Academia and Industry, (148-152)
  74. Szlichta J, Godfrey P and Gryz J (2012). Fundamentals of order dependencies, Proceedings of the VLDB Endowment, 5:11, (1220-1231), Online publication date: 1-Jul-2012.
  75. Barto L, Kozik M and Willard R Near Unanimity Constraints Have Bounded Pathwidth Duality Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science, (125-134)
  76. ACM
    Meliou A and Suciu D Tiresias Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data, (337-348)
  77. ACM
    Wijsen J (2012). Certain conjunctive query answering in first-order logic, ACM Transactions on Database Systems, 37:2, (1-35), Online publication date: 1-May-2012.
  78. ACM
    Tsialiamanis P, Sidirourgos L, Fundulaki I, Christophides V and Boncz P Heuristics-based query optimisation for SPARQL Proceedings of the 15th International Conference on Extending Database Technology, (324-335)
  79. Link S Armstrong databases Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130, (3-22)
  80. Faber W, Leone N and Perri S The intelligent grounder of DLV Correct Reasoning, (247-264)
  81. Knyazhansky M and Plotkin T (2012). Knowledge Bases Over Algebraic Models, International Journal of Knowledge Management, 8:1, (22-39), Online publication date: 1-Jan-2012.
  82. Sáenz-Pérez F, Caballero R and García-Ruiz Y A deductive database with datalog and SQL query languages Proceedings of the 9th Asian conference on Programming Languages and Systems, (66-73)
  83. ACM
    Laurent D and Spyratos N Rewriting aggregate queries using functional dependencies Proceedings of the International Conference on Management of Emergent Digital EcoSystems, (40-47)
  84. Graa M, Cuppens-Boulahia N, Autrel F, Azkia H, Cuppens F, Coatrieux G, Cavalli A and Mammar A Using requirements engineering in an automatic security policy derivation process Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security, (155-172)
  85. Bourreau P and Salvati S A datalog recognizer for almost affine λ-CFGs Proceedings of the 12th biennial conference on The mathematics of language, (21-38)
  86. Kotowski J, Bry F and Brodt S Reasoning as axioms change Proceedings of the 5th international conference on Web reasoning and rule systems, (139-154)
  87. Hilali-Jaghdam I, Jen T, Laurent D and Yahia S Mining frequent disjunctive selection queries Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II, (90-96)
  88. Combi C, Montanari A and Sala P A uniform framework for temporal functional dependencies with multiple granularities Proceedings of the 12th international conference on Advances in spatial and temporal databases, (404-421)
  89. Hogan A, Pan J, Polleres A and Ren Y Scalable OWL 2 reasoning for linked data Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (250-325)
  90. Afrati F, Cohen S and Kuper G (2011). On the complexity of tree pattern containment with arithmetic comparisons, Information Processing Letters, 111:15, (754-760), Online publication date: 1-Aug-2011.
  91. Gillis J and Van den Bussche J Expressive power of safe first-order logical decision trees Proceedings of the 21st international conference on Inductive Logic Programming, (160-172)
  92. Parker A, Simari G, Sliva A and Subrahmanian V Approximate achievability in event databases Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty, (737-748)
  93. ACM
    Chen S, Dong X, Lakshmanan L and Srivastava D We challenge you to certify your updates Proceedings of the 2011 ACM SIGMOD International Conference on Management of data, (481-492)
  94. Barilaro R, Ricca F and Terracina G Optimizing the distributed evaluation of stratified programs via structural analysis Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning, (217-222)
  95. Bourdier T, Cirstea H, Jaume M and Kirchner H Formal specification and validation of security policies Proceedings of the 4th Canada-France MITACS conference on Foundations and Practice of Security, (148-163)
  96. Lavín Puente V (2011). On learning multivalued dependencies with queries, Theoretical Computer Science, 412:22, (2331-2339), Online publication date: 1-May-2011.
  97. Gebser M, Kaminski R, Kaufmann B and Schaub T Challenges in answer set solving Logic programming, knowledge representation, and nonmonotonic reasoning, (74-90)
  98. Kaoudi Z, Kyzirakos K and Koubarakis M SPARQL query optimization on top of DHTs Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (418-435)
  99. Paulley G and Larson P Exploiting uniqueness in query optimization CASCON First Decade High Impact Papers, (127-145)
  100. ACM
    Singh V, Gao M and Jain R Social pixels Proceedings of the 18th ACM international conference on Multimedia, (481-490)
  101. ACM
    Namolaru M, Cohen A, Fursin G, Zaks A and Freund A Practical aggregation of semantical program properties for machine learning based optimization Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems, (197-206)
  102. ACM
    Gottlob G, Pichler R and Wei F (2010). Monadic datalog over finite structures of bounded treewidth, ACM Transactions on Computational Logic, 12:1, (1-48), Online publication date: 1-Oct-2010.
  103. Basile T, Esposito F and Caponetti L A multi-relational learning framework to support biomedical applications Proceedings of the 7th international conference on Computational intelligence methods for bioinformatics and biostatistics, (188-202)
  104. Karali I Modular logic programming for web data, inheritance and agents Proceedings of the 4th international conference on Knowledge science, engineering and management, (354-365)
  105. Agrawal P, Sarma A, Ullman J and Widom J (2010). Foundations of uncertain-data integration, Proceedings of the VLDB Endowment, 3:1-2, (1080-1090), Online publication date: 1-Sep-2010.
  106. Dieng C, Jen T and Laurent D An efficient computation of frequent queries in a star schema Proceedings of the 21st international conference on Database and expert systems applications: Part II, (225-239)
  107. Jen T, Laurent D and Spyratos N (2010). Computing Supports of Conjunctive Queries on Relational Tables with Functional Dependencies, Fundamenta Informaticae, 99:3, (263-292), Online publication date: 1-Aug-2010.
  108. ACM
    Denecker M, Cortés-Calabuig Á, Bruynooghes M and Arieli O (2008). Towards a logical reconstruction of a theory for locally closed databases, ACM Transactions on Database Systems, 35:3, (1-60), Online publication date: 1-Jul-2010.
  109. Bombini G, Di Mauro N, Ferilli S and Esposito F Classifying agent behaviour through relational sequential patterns Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I, (273-282)
  110. ACM
    Seong S, Seo J, Nasielski M, Sengupta D, Hangal S, Teh S, Chu R, Dodson B and Lam M PrPl Proceedings of the 1st ACM Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond, (1-8)
  111. ACM
    Greco G and Scarcello F The power of tree projections Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (327-338)
  112. ACM
    Wijsen J On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (179-190)
  113. Choenni S, van Dijk J and Leeuw F (2010). Preserving privacy whilst integrating data: Applied to criminal justice, Information Polity, 15:1,2, (125-138), Online publication date: 1-Apr-2010.
  114. Bonifati A, Chang E, Ho T, Lakshmanan L, Pottinger R and Chung Y (2010). Schema mapping and query translation in heterogeneous P2P XML databases, The VLDB Journal — The International Journal on Very Large Data Bases, 19:2, (231-256), Online publication date: 1-Apr-2010.
  115. ACM
    Sow D, Biem A, Blount M, Ebling M and Verscheure O Body sensor data processing using stream computing Proceedings of the international conference on Multimedia information retrieval, (449-458)
  116. Afrati F, Borkar V, Carey M, Polyzotis N and Ullman J Cluster computing, recursion and datalog Proceedings of the First international conference on Datalog Reloaded, (120-144)
  117. Bry F, Furche T, Ley C, Marnette B, Linse B and Schaffert S Datalog relaunched Proceedings of the First international conference on Datalog Reloaded, (321-350)
  118. Alpuente M, Feliú M, Joubert C and Villanueva A Datalog-Based program analysis with BES and RWL Proceedings of the First international conference on Datalog Reloaded, (1-20)
  119. Zhuge H and Sun Y (2010). The schema theory for semantic link network, Future Generation Computer Systems, 26:3, (408-420), Online publication date: 1-Mar-2010.
  120. ACM
    Perri S, Ricca F and Sirianni M A parallel ASP instantiator based on DLV Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming, (73-82)
  121. Schweikardt N, Schwentick T and Segoufin L Database theory Algorithms and theory of computation handbook, (19-19)
  122. Greco S and Lisi F Logic programming languages for databases and the web A 25-year perspective on logic programming, (183-203)
  123. ACM
    Cosmadakis S, Foustoucos E and Sidiropoulos A (2010). Undecidability and intractability results concerning datalog programs and their persistency numbers, ACM Transactions on Computational Logic, 11:2, (1-29), Online publication date: 1-Jan-2010.
  124. ACM
    Nami M, Sheikh-Abbasi B and Khoshandam M (2009). A comparative introduction to CSP and ACT-ONE formal languages, ACM SIGSOFT Software Engineering Notes, 34:6, (1-5), Online publication date: 3-Dec-2009.
  125. Lependu P, Dou D and Howe D Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II, (948-965)
  126. ACM
    Gedik B, Andrade H and Wu K A code generation approach to optimizing high-performance distributed data stream processing Proceedings of the 18th ACM conference on Information and knowledge management, (847-856)
  127. ACM
    Chbeir R and Laurent D Towards a novel approach to multimedia data mixed fragmentation Proceedings of the International Conference on Management of Emergent Digital EcoSystems, (200-204)
  128. ACM
    Jen T, Laurent D and Spyratos N Mining frequent conjunctive queries in star schemas Proceedings of the 2009 International Database Engineering & Applications Symposium, (97-108)
  129. ACM
    Colazzo D and Sartiani C (2009). Detection of corrupted schema mappings in XML data integration systems, ACM Transactions on Internet Technology, 9:4, (1-53), Online publication date: 1-Sep-2009.
  130. Alpuente M, Feliú M, Joubert C and Villanueva A Defining datalog in rewriting logic Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation, (188-204)
  131. ACM
    Hinrichs T, Gude N, Casado M, Mitchell J and Shenker S Practical declarative network management Proceedings of the 1st ACM workshop on Research on enterprise networking, (1-10)
  132. Alpuente M, Feliú M, Joubert C and Villanueva A (2009). DATALOG_SOLVE, Electronic Notes in Theoretical Computer Science (ENTCS), 248, (57-66), Online publication date: 1-Aug-2009.
  133. Olson L, Gunter C, Cook W and Winslett M Implementing Reflective Access Control in SQL Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII, (17-32)
  134. Gillis J and Van den Bussche J Induction of relational algebra expressions Proceedings of the 19th international conference on Inductive logic programming, (25-33)
  135. ACM
    Arasu A and Kaushik R A grammar-based entity representation framework for data cleaning Proceedings of the 2009 ACM SIGMOD International Conference on Management of data, (233-244)
  136. Cohen S (2009). Equivalence of queries that are sensitive to multiplicities, The VLDB Journal — The International Journal on Very Large Data Bases, 18:3, (765-785), Online publication date: 1-Jun-2009.
  137. Choenni S and van Dijk J 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, (223-229)
  138. Holland G and Talburt J (2009). An entity-based integration framework for modeling and evaluating data enhancement products, Journal of Computing Sciences in Colleges, 24:5, (65-73), Online publication date: 1-May-2009.
  139. ACM
    Liang S, Fodor P, Wan H and Kifer M OpenRuleBench Proceedings of the 18th international conference on World wide web, (601-610)
  140. ACM
    Ronen R and Shmueli O Evaluating very large datalog queries on social networks Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, (577-587)
  141. ACM
    Calì A, Gottlob G and Lukasiewicz T Datalog± Proceedings of the 12th International Conference on Database Theory, (14-30)
  142. Ragone A, Straccia U, Di Noia T, Di Sciascio E and Donini F (2009). Fuzzy matchmaking in e-marketplaces of peer entities using Datalog, Fuzzy Sets and Systems, 160:2, (251-268), Online publication date: 15-Jan-2009.
  143. Esposito F, Di Mauro N, Basile T and Ferilli S (2009). Multi-Dimensional Relational Sequence Mining, Fundamenta Informaticae, 89:1, (23-43), Online publication date: 1-Jan-2009.
  144. Kim M, Whang K, Lee J and Lee M (2008). Structural optimization of a full-text n-gram index using relational normalization, The VLDB Journal — The International Journal on Very Large Data Bases, 17:6, (1485-1507), Online publication date: 1-Nov-2008.
  145. ACM
    Abiteboul S, Greenshpan O and Milo T Modeling the mashup space Proceedings of the 10th ACM workshop on Web information and data management, (87-94)
  146. ACM
    Zirtiloǧlu H and Yolum P Ranking semantic information for e-government Proceedings of the first international workshop on Ontology-supported business intelligence, (1-7)
  147. ACM
    Chen D, Chirkova R, Kormilitsin M, Sadri F and Salo T Query optimization in xml-based information integration Proceedings of the 17th ACM conference on Information and knowledge management, (1405-1406)
  148. Schoenmackers S, Etzioni O and Weld D Scaling textual inference to the web Proceedings of the Conference on Empirical Methods in Natural Language Processing, (79-88)
  149. Martinez M, Parisi F, Pugliese A, Simari G and Subrahmanian V Inconsistency management policies Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (367-376)
  150. Wittocx J, Mariën M and Denecker M Approximate reasoning in first-order logic theories Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (103-111)
  151. Greco S and Molinaro C Towards Relational Inconsistent Databases with Functional Dependencies Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II, (695-702)
  152. Eiter T, Ianni G, Krennwallner T and Polleres A Rules and Ontologies for the Semantic Web Reasoning Web, (1-53)
  153. ACM
    Shen Y (2008). Reasoning with recursive loops under the PLP framework, ACM Transactions on Computational Logic, 9:4, (1-31), Online publication date: 1-Aug-2008.
  154. Lependu P, Dou D, Frishkoff G and Rong J Ontology Database Proceedings of the 20th international conference on Scientific and Statistical Database Management, (313-330)
  155. ACM
    Lhoták O and Hendren L (2008). Relations as an abstraction for BDD-based program analysis, ACM Transactions on Programming Languages and Systems, 30:4, (1-63), Online publication date: 1-Jul-2008.
  156. Kontopoulos E, Bassiliades N and Antoniou G (2008). Deploying defeasible logic rule bases for the semantic web, Data & Knowledge Engineering, 66:1, (116-146), Online publication date: 1-Jul-2008.
  157. ACM
    Gedik B, Andrade H, Wu K, Yu P and Doo M SPADE Proceedings of the 2008 ACM SIGMOD international conference on Management of data, (1123-1134)
  158. ACM
    Ronen R and Shmueli O 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, (3-11)
  159. ACM
    Jen T, Laurent D and Spyratos N Mining all frequent projection-selection queries from a relational table Proceedings of the 11th international conference on Extending database technology: Advances in database technology, (368-379)
  160. ACM
    Lam M, Martin M, Livshits B and Whaley J 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, (3-12)
  161. Esposito F, Di Mauro N, Basile T and Ferilli S (2008). Multi-Dimensional Relational Sequence Mining, Fundamenta Informaticae, 89:1, (23-43), Online publication date: 1-Jan-2008.
  162. Avron A A framework for formalizing set theories based on the use of static set terms Pillars of computer science, (87-106)
  163. Perri S, Scarcello F, Catalano G and Leone N (2007). Enhancing DLV instantiator by backjumping techniques, Annals of Mathematics and Artificial Intelligence, 51:2-4, (195-228), Online publication date: 1-Dec-2007.
  164. Furfaro F, Greco S and Molinaro C (2007). A three-valued semantics for querying and repairing inconsistent databases, Annals of Mathematics and Artificial Intelligence, 51:2-4, (167-193), Online publication date: 1-Dec-2007.
  165. Polleres A, Scharffe F and Schindlauer R SPARQL++ for mapping between RDF vocabularies Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I, (878-896)
  166. ACM
    Ronen R and Shmueli O Evaluation of datalog extended with an XPath predicate Proceedings of the 9th annual ACM international workshop on Web information and data management, (9-16)
  167. Lim L, Wang H and Wang M Unifying data and domain knowledge using virtual views Proceedings of the 33rd international conference on Very large data bases, (255-266)
  168. Purevjii B, Aritsugi M, Imai S and Kanamori Y An Implementation Design of a Fine-Grained Database Access Control Policy Consistency Checking Mechanism Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference, (752-760)
  169. Sofronie-Stokkermans V Hierarchical and Modular Reasoning in Complex Theories Proceedings of the 6th international symposium on Frontiers of Combining Systems, (47-71)
  170. Ullmann J (2007). Partition search for non-binary constraint satisfaction, Information Sciences: an International Journal, 177:18, (3639-3678), Online publication date: 1-Sep-2007.
  171. Calimeri F, Cozza S and Ianni G (2007). External sources of knowledge and value invention in logic programming, Annals of Mathematics and Artificial Intelligence, 50:3-4, (333-361), Online publication date: 1-Aug-2007.
  172. Anderson S and Revesz P CDB-PV Proceedings of the 7th International conference on Abstraction, reformulation, and approximation, (35-49)
  173. Pelzer B and Wernhard C System Description Proceedings of the 21st international conference on Automated Deduction: Automated Deduction, (508-513)
  174. Bogudlov I, Lev-Ami T, Reps T and Sagiv M Revamping TVLA Proceedings of the 19th international conference on Computer aided verification, (221-225)
  175. ACM
    Aiken A, Bugrara S, Dillig I, Dillig T, Hackett B and Hawkins P An overview of the saturn project Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (43-48)
  176. ACM
    Badia A and Vansummeren S Non-linear prefixes in query languages Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (185-194)
  177. ACM
    Gottlob G, Pichler R and Wei F Monadic datalog over finite structures with bounded treewidth Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (165-174)
  178. De Bruijn J and Heymans S A semantic framework for language layering in WSML Proceedings of the 1st international conference on Web reasoning and rule systems, (103-117)
  179. Field J, Marinescu M and Stefansen C Reactors Proceedings of the 9th international conference on Coordination models and languages, (76-95)
  180. Faber W, Greco G and Leone N (2007). Magic Sets and their application to data integration, Journal of Computer and System Sciences, 73:4, (584-609), Online publication date: 1-Jun-2007.
  181. Leinders D and Van den Bussche J (2007). On the complexity of division and set joins in the relational algebra, Journal of Computer and System Sciences, 73:4, (538-549), Online publication date: 1-Jun-2007.
  182. Biskup J and Bonatti P (2007). Controlled query evaluation with open queries for a decidable relational submodel, Annals of Mathematics and Artificial Intelligence, 50:1-2, (39-77), Online publication date: 1-Jun-2007.
  183. Degwekar S, DePree J, Su S and Beck H A distributed event-triggered knowledge sharing system Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains, (236-237)
  184. Degwekar S, DePree J, Beck H, Thomas C and Su S Event-triggered data and knowledge sharing among collaborating government organizations Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains, (102-111)
  185. Faber W and Leone N On the complexity of answer set programming with aggregates Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning, (97-109)
  186. Murai T, Miyamoto S and Kudo Y A logical representation of images by means of multi-rough sets for Kansei image retrieval Proceedings of the 2nd international conference on Rough sets and knowledge technology, (244-251)
  187. Peters J Near sets Proceedings of the 2nd international conference on Rough sets and knowledge technology, (22-33)
  188. ACM
    Zelasco J, Donayo J and Merayo G Complementary utilities for UML an UP in information systems Proceedings of the 2007 Euro American conference on Telematics and information systems, (1-8)
  189. ACM
    Polleres A From SPARQL to rules (and back) Proceedings of the 16th international conference on World Wide Web, (787-796)
  190. Caroprese L, Greco S and Molinaro C Prioritized active integrity constraints for database maintenance Proceedings of the 12th international conference on Database systems for advanced applications, (459-471)
  191. Peters J (2007). Near Sets. Special Theory about Nearness of Objects, Fundamenta Informaticae, 75:1-4, (407-433), Online publication date: 1-Jan-2007.
  192. Cadoli M and Mancini T (2007). Combining relational algebra, SQL, constraint modelling, and local search, Theory and Practice of Logic Programming, 7:1-2, (37-65), Online publication date: 1-Jan-2007.
  193. Pliuskuvienė B and Adomėnas P The main adaptability principles for the process of handling relational data sets Proceedings of the 6th WSEAS international conference on Applied computer science, (380-384)
  194. Afrati F, Li C and Mitra P (2006). Rewriting queries using views in the presence of arithmetic comparisons, Theoretical Computer Science, 368:1-2, (88-123), Online publication date: 1-Dec-2006.
  195. Miyamoto S Lattice-valued hierarchical clustering for analyzing information systems Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing, (909-917)
  196. Terracina G, Leone N, Lio V and Panetta C Adding efficient data management to logic programming systems Proceedings of the 16th international conference on Foundations of Intelligent Systems, (524-533)
  197. Caroprese L, Greco S, Trubitsyna I and Zumpano E Preferred generalized answers for inconsistent databases Proceedings of the 16th international conference on Foundations of Intelligent Systems, (344-349)
  198. ACM
    Silva A and Visser J Strong types for relational databases Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, (25-36)
  199. Straccia U Towards top-k query answering in description logics Proceedings of the 10th European conference on Logics in Artificial Intelligence, (439-451)
  200. Caroprese L and Zumpano E A framework for merging, repairing and querying inconsistent databases Proceedings of the 10th East European conference on Advances in Databases and Information Systems, (383-398)
  201. Caroprese L, Greco S, Sirangelo C and Zumpano E Declarative semantics of production rules for integrity maintenance Proceedings of the 22nd international conference on Logic Programming, (26-40)
  202. Debar H, Thomas Y, Boulahia-Cuppens N and Cuppens F Using contextual security policies for threat response Proceedings of the Third international conference on Detection of Intrusions and Malware & Vulnerability Assessment, (109-128)
  203. Avron A From constructibility and absoluteness to computability and domain independence Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers, (11-20)
  204. Brisaboa N, Fariña, A, Luaces M and Paramá J Chase of recursive queries Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics, (112-123)
  205. ACM
    Cohen S User-defined aggregate functions Proceedings of the 2006 ACM SIGMOD international conference on Management of data, (49-60)
  206. Wijsen J Project-Join-Repair Proceedings of the 7th international conference on Flexible Query Answering Systems, (1-12)
  207. ACM
    Cohen S, Nutt W and Sagiv Y (2006). Rewriting queries with arbitrary aggregation functions using views, ACM Transactions on Database Systems, 31:2, (672-715), Online publication date: 1-Jun-2006.
  208. ACM
    Patel-Schneider P and Horrocks I Position paper Proceedings of the 15th international conference on World Wide Web, (3-12)
  209. Whitehead N A certified distributed security logic for authorizing code Proceedings of the 2006 international conference on Types for proofs and programs, (253-268)
  210. Kiniwa J (2006). How to Improve Safety under Convergence Using Stable Storage, IEEE Transactions on Parallel and Distributed Systems, 17:4, (389-398), Online publication date: 1-Apr-2006.
  211. Harth A Interoperation between information spaces on the web Proceedings of the 2006 international conference on Current Trends in Database Technology, (44-53)
  212. Trajcevski G, Scheuermann P, Ghica O, Hinze A and Voisard A Evolving triggers for dynamic environments Proceedings of the 10th international conference on Advances in Database Technology, (1039-1048)
  213. Pliuskuviene B and Adomenas P 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, (95-99)
  214. Gottlob G and Koch C A formal comparison of visual web wrapper generators Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science, (30-48)
  215. ACM
    East D and Truszczyński M (2006). Predicate-calculus-based logics for modeling and solving search problems, ACM Transactions on Computational Logic, 7:1, (38-83), Online publication date: 1-Jan-2006.
  216. Xing Y, Liu J, Sun X and Yao E Collaborating semantic link network with resource space model Proceedings of the 4th international conference on Grid and Cooperative Computing, (750-755)
  217. ACM
    Chang E, Hussain F and Dillon T Fuzzy nature of trust and dynamic trust modeling in service oriented environments Proceedings of the 2005 workshop on Secure web services, (75-83)
  218. Jen T, Laurent D, Spyratos N and Sy O Towards mining frequent queries in star schemes Proceedings of the 4th international conference on Knowledge Discovery in Inductive Databases, (104-123)
  219. Smid J, Obitko M and Bencur A Concept and sensor network approach to computing Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems, (269-280)
  220. Sfakakis M and Kapidakis S Expression of z39.50 supported search capabilities by applying formal descriptions Proceedings of the 9th European conference on Research and Advanced Technology for Digital Libraries, (426-437)
  221. Cheng J Autonomous and continuous evolution of information systems Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I, (758-767)
  222. Toland T, Farkas C and Eastman C Dynamic disclosure monitor (DMon) Proceedings of the Second VDLB international conference on Secure Data Management, (124-142)
  223. ACM
    Scarcello F (2005). Query answering exploiting structural properties, ACM SIGMOD Record, 34:3, (91-99), Online publication date: 1-Sep-2005.
  224. Junkkari M (2005). PSE, Journal of Intelligent Information Systems, 25:2, (131-157), Online publication date: 1-Sep-2005.
  225. Kim M, Whang K, Lee J and Lee M n-gram/2L Proceedings of the 31st international conference on Very large data bases, (325-336)
  226. ACM
    Badia A and Kantardzic M Graph building as a mining activity Proceedings of the 3rd international workshop on Link discovery, (17-24)
  227. Motro A and Parisi-Presicce F Blind custodians Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security, (338-352)
  228. ACM
    Constantin C, Gross-Amblard D and Guerrouani M Watermill Proceedings of the 7th workshop on Multimedia and security, (143-155)
  229. Livshits V and Lam M Finding security vulnerabilities in java applications with static analysis Proceedings of the 14th conference on USENIX Security Symposium - Volume 14, (18-18)
  230. Alves T, Silva P, Visser J and Oliveira J Strategic term rewriting and its application to a VDM-SL to SQL conversion Proceedings of the 2005 international conference on Formal Methods, (399-414)
  231. Silvervarg K and Jungert E A visual query language for uncertain spatial and temporal data Proceedings of the 8th international conference on Visual Information and Information Systems, (163-176)
  232. ACM
    Gervasi V and Zowghi D (2005). Reasoning about inconsistencies in natural language requirements, ACM Transactions on Software Engineering and Methodology, 14:3, (277-330), Online publication date: 1-Jul-2005.
  233. Necib C and Freytag J Query processing using ontologies Proceedings of the 17th international conference on Advanced Information Systems Engineering, (167-186)
  234. ACM
    Gottlob G Computing cores for data exchange Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (148-159)
  235. Paige R (2005). An NSF Proposal, Higher-Order and Symbolic Computation, 18:1-2, (211-235), Online publication date: 1-Jun-2005.
  236. Knobbe A Multi-Relational Data Mining Proceedings of the 2005 conference on Multi-Relational Data Mining, (1-118)
  237. Toman D and Weddell G (2005). On reasoning about structural equality in XML, Theoretical Computer Science, 336:1, (181-203), Online publication date: 25-May-2005.
  238. Buneman P, Choi B, Fan W, Hutchison R, Mann R and Viglas S Vectorizing and Querying Large XML Repositories Proceedings of the 21st International Conference on Data Engineering, (261-272)
  239. ACM
    Cohen S, Sagiv Y and Nutt W (2005). Equivalences among aggregate queries with negation, ACM Transactions on Computational Logic, 6:2, (328-360), Online publication date: 1-Apr-2005.
  240. Nottelmann H PIRE Proceedings of the 27th European conference on Advances in Information Retrieval Research, (260-274)
  241. ACM
    Bry F and Pǎtrânjan P Reactivity on the web Proceedings of the 2005 ACM symposium on Applied computing, (1645-1649)
  242. ACM
    Cohen S (2005). Containment of aggregate queries, ACM SIGMOD Record, 34:1, (77-85), Online publication date: 1-Mar-2005.
  243. Baixeries J and Balcázar J Characterization and armstrong relations for degenerate multivalued dependencies using formal concept analysis Proceedings of the Third international conference on Formal Concept Analysis, (162-175)
  244. Amir E and McIlraith S (2005). Partition-based logical reasoning for first-order and propositional theories, Artificial Intelligence, 162:1-2, (49-88), Online publication date: 1-Feb-2005.
  245. Hafenrichter B and Kießling W Optimization of relational preference queries Proceedings of the 16th Australasian database conference - Volume 39, (175-184)
  246. van Gils B, Proper H, van Bommel P and de Vrieze P Transformation selection for aptness-based web retrieval Proceedings of the 16th Australasian database conference - Volume 39, (115-124)
  247. ACM
    Lerner S, Millstein T, Rice E and Chambers C (2005). Automated soundness proofs for dataflow analyses and transformations via local rules, ACM SIGPLAN Notices, 40:1, (364-377), Online publication date: 12-Jan-2005.
  248. ACM
    Lerner S, Millstein T, Rice E and Chambers C Automated soundness proofs for dataflow analyses and transformations via local rules Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (364-377)
  249. Ra Y Relational schema evolution for program independency Proceedings of the 7th international conference on Intelligent Information Technology, (273-281)
  250. Grahne G and Kiricenko V (2004). Towards an algebraic theory of information integration, Information and Computation, 194:2, (79-100), Online publication date: 1-Nov-2004.
  251. Di Sciascio E, Donini F and Mongiello M (2004). A Logic for SVG Documents Query and Retrieval, Multimedia Tools and Applications, 24:2, (125-153), Online publication date: 1-Nov-2004.
  252. Niemi T, Junkkari M, Järvelin K and Viita S (2004). Advanced query language for manipulating complex entities, Information Processing and Management: an International Journal, 40:6, (869-889), Online publication date: 1-Nov-2004.
  253. Giannotti F, Manco G and Turini F (2004). Specifying Mining Algorithms with Iterative User-Defined Aggregates, IEEE Transactions on Knowledge and Data Engineering, 16:10, (1232-1246), Online publication date: 1-Oct-2004.
  254. Robertson E Triadic relations Proceedings of the Second international conference on Semantic Web and Databases, (91-108)
  255. Ross K and Janevski A Querying faceted databases Proceedings of the Second international conference on Semantic Web and Databases, (199-218)
  256. ACM
    Flesca S, Greco S and Zumpano E Active integrity constraints Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, (98-107)
  257. ACM
    Jeh G and Widom J Mining the space of graph properties Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining, (187-196)
  258. Ordonez C and Omiecinski E (2004). Efficient Disk-Based K-Means Clustering for Relational Databases, IEEE Transactions on Knowledge and Data Engineering, 16:8, (909-921), Online publication date: 1-Aug-2004.
  259. ACM
    Fern A and Givan R Relational sequential inference with reliable observations Proceedings of the twenty-first international conference on Machine learning
  260. ACM
    Carreira P and Galhardas H Execution of data mappers Proceedings of the 2004 international workshop on Information quality in information systems, (2-9)
  261. ACM
    Calvanese D, De Giacomo G, Lenzerini M and Rosati R Logical foundations of peer-to-peer data integration Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (241-251)
  262. ACM
    Scarcello F, Greco G and Leone N Weighted hypertree decompositions and optimal query plans Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (210-221)
  263. ACM
    Whaley J and Lam M (2004). Cloning-based context-sensitive pointer alias analysis using binary decision diagrams, ACM SIGPLAN Notices, 39:6, (131-144), Online publication date: 9-Jun-2004.
  264. ACM
    Whaley J and Lam M Cloning-based context-sensitive pointer alias analysis using binary decision diagrams Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, (131-144)
  265. ACM
    Gottlob G and Koch C (2004). Logic-based web information extraction, ACM SIGMOD Record, 33:2, (87-94), Online publication date: 1-Jun-2004.
  266. ACM
    Sadri R, Zaniolo C, Zarkesh A and Adibi J (2004). Expressing and optimizing sequence queries in database systems, ACM Transactions on Database Systems, 29:2, (282-318), Online publication date: 1-Jun-2004.
  267. Huh S and Kim H (2004). A real-time synchronization mechanism for collaborative model management, Decision Support Systems, 37:3, (315-330), Online publication date: 1-Jun-2004.
  268. ACM
    Zumpano E, Greco S, Trubitsyna I and Veltri P 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, (692-697)
  269. Diop C, Giacometti A, Laurent D and Spyratos N Computation of mining queries Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases, (102-126)
  270. King R (2004). Applying Inductive Logic Programming to Predicting Gene Function, AI Magazine, 25:1, (57-68), Online publication date: 1-Mar-2004.
  271. ACM
    Arasu A, Babcock B, Babu S, McAlister J and Widom J (2004). Characterizing memory requirements for queries over continuous data streams, ACM Transactions on Database Systems, 29:1, (162-194), Online publication date: 1-Mar-2004.
  272. ACM
    Atserias A (2004). On sufficient conditions for unsatisfiability of random formulas, Journal of the ACM, 51:2, (281-311), Online publication date: 1-Mar-2004.
  273. Ozsoyoglu G, Balkir N, Ozsoyoglu Z and Cormode G (2004). On Automated Lesson Construction from Electronic Textbooks, IEEE Transactions on Knowledge and Data Engineering, 16:3, (317-331), Online publication date: 1-Mar-2004.
  274. Chatvichienchai S, Iwaihara M and Kambayashi Y (2004). Authorization Translation for XML Document Transformation, World Wide Web, 7:1, (111-138), Online publication date: 1-Mar-2004.
  275. Frasincar F, Houben G, Vdovjak R and Barna P (2004). RAL, World Wide Web, 7:1, (83-109), Online publication date: 1-Mar-2004.
  276. Bertossi L and Bravo L Consistent query answers in virtual data integration systems Inconsistency Tolerance, (42-83)
  277. Arenas M, Fan W and Libkin L Consistency of XML specifications Inconsistency Tolerance, (15-41)
  278. Ferrarotti F and Turull-Torres J On the computation of approximations of database queries Proceedings of the 15th Australasian database conference - Volume 27, (27-37)
  279. Bertossi L and Schwind C (2004). Database Repairs and Analytic Tableaux, Annals of Mathematics and Artificial Intelligence, 40:1-2, (5-35), Online publication date: 1-Jan-2004.
  280. McColm G (2004). Guarded Quantification in Least Fixed Point Logic, Journal of Logic, Language and Information, 13:1, (61-110), Online publication date: 1-Jan-2004.
  281. Greco G, Greco S and Zumpano E (2003). A Logical Framework for Querying and Repairing Inconsistent Databases, IEEE Transactions on Knowledge and Data Engineering, 15:6, (1389-1408), Online publication date: 1-Nov-2003.
  282. Kohli M and Lobo J (2003). Realizing Network Control Policies Using Distributed Action Plans, Journal of Network and Systems Management, 11:3, (305-327), Online publication date: 1-Sep-2003.
  283. ACM
    Tatarinov I, Ives Z, Madhavan J, Halevy A, Suciu D, Dalvi N, Dong X, Kadiyska Y, Miklau G and Mork P (2003). The Piazza peer data management project, ACM SIGMOD Record, 32:3, (47-52), Online publication date: 1-Sep-2003.
  284. Bassiliades N, Vlahavas I, Elmagarmid A and Houstis E (2003). InterBase-KB, IEEE Transactions on Knowledge and Data Engineering, 15:5, (1188-1205), Online publication date: 1-Sep-2003.
  285. ACM
    Zhou N and Sato T Efficient fixpoint computation in linear tabling Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, (275-283)
  286. ACM
    Greco S and Zumpano E 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, (136-147)
  287. Kolaitis P Constraint satisfaction, databases, and logic Proceedings of the 18th international joint conference on Artificial intelligence, (1587-1595)
  288. ACM
    Džeroski S (2003). Multi-relational data mining, ACM SIGKDD Explorations Newsletter, 5:1, (1-16), Online publication date: 1-Jul-2003.
  289. Pichler R (2003). On the complexity of equational problems in CNF, Journal of Symbolic Computation, 36:1-2, (235-269), Online publication date: 1-Jul-2003.
  290. Guessarian I, Foustoucos E, Andronikos T and Afrati F (2003). On temporal logic versus datalog, Theoretical Computer Science, 303:1, (103-133), Online publication date: 28-Jun-2003.
  291. Martin T ASK Proceedings of the 2003 joint international conference on Artificial neural networks and neural information processing, (917-924)
  292. Besson F and Jensen T Modular class analysis with DATALOG Proceedings of the 10th international conference on Static analysis, (19-36)
  293. ACM
    Chirkova R and Li C Materializing views with minimal size to answer queries Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (38-48)
  294. ACM
    Afrati F, Andronikos T, Pavlaki V, Foustoucos E and Guessarian I 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, (72-85)
  295. ACM
    Gunopulos D, Khardon R, Mannila H, Saluja S, Toivonen H and Sharma R (2003). Discovering all most specific sentences, ACM Transactions on Database Systems, 28:2, (140-174), Online publication date: 1-Jun-2003.
  296. Gottlob G and Papadimitriou C (2003). On the complexity of single-rule datalog queries, Information and Computation, 183:1, (104-122), Online publication date: 25-May-2003.
  297. ACM
    Grosof B, Horrocks I, Volz R and Decker S Description logic programs Proceedings of the 12th international conference on World Wide Web, (48-57)
  298. ACM
    Angiulli F, Ben-Eliyahu-Zohary R, Ianni G and Palopoli L (2003). Computational properties of metaquerying problems, ACM Transactions on Computational Logic, 4:2, (149-180), Online publication date: 1-Apr-2003.
  299. Chen Y (2003). On the Graph Traversal and Linear Binary-Chain Programs, IEEE Transactions on Knowledge and Data Engineering, 15:3, (573-596), Online publication date: 1-Mar-2003.
  300. Liu M (2003). Extending Datalog with Declarative Updates, Journal of Intelligent Information Systems, 20:2, (107-129), Online publication date: 1-Mar-2003.
  301. Catania B and Bertino E (2003). Static Analysis of Logical Languages with Deferred Update Semantics, IEEE Transactions on Knowledge and Data Engineering, 15:2, (386-404), Online publication date: 1-Feb-2003.
  302. Greco S (2003). Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries, IEEE Transactions on Knowledge and Data Engineering, 15:2, (368-385), Online publication date: 1-Feb-2003.
  303. Fan W and Siméon J (2003). Integrity constraints for XML, Journal of Computer and System Sciences, 66:1, (254-291), Online publication date: 1-Feb-2003.
  304. Pourabbas E Cooperation with geographic databases Multidimensional databases, (393-432)
  305. Baader F, Calvanese D, McGuinness D, Nardi D and Patel-Schneider P Bibliography The description logic handbook, (496-545)
  306. Minker J Deductive database Encyclopedia of Computer Science, (528-531)
  307. Ren Q, Dunham M and Kumar V (2003). Semantic Caching and Query Processing, IEEE Transactions on Knowledge and Data Engineering, 15:1, (192-210), Online publication date: 1-Jan-2003.
  308. Bertino E, Elmagarmid A and Hacid M (2002). A Knowledge-Based Approach to Visual Information, Journal of Intelligent Information Systems, 19:3, (319-341), Online publication date: 1-Nov-2002.
  309. Berzal F, Cubero J, Cuenca F and Medina J (2002). Relational decomposition through partial functional dependencies, Data & Knowledge Engineering, 43:2, (207-234), Online publication date: 1-Nov-2002.
  310. Balkir N, Ozsoyoglu G and Ozsoyoglu Z (2002). A Graphical Query Language, IEEE Transactions on Knowledge and Data Engineering, 14:5, (955-978), Online publication date: 1-Sep-2002.
  311. Lee A, Nica A and Rundensteiner E (2002). The EVE Approach, IEEE Transactions on Knowledge and Data Engineering, 14:5, (931-954), Online publication date: 1-Sep-2002.
  312. Bettini C, Jajodia S, Wang X and Wijesekera D Provisions and obligations in policy management and security applications Proceedings of the 28th international conference on Very Large Data Bases, (502-513)
  313. Agrawal R, Kiernan J, Srikant R and Xu Y Hippocratic databases Proceedings of the 28th international conference on Very Large Data Bases, (143-154)
  314. Wolpers M, Brunkhorst I and Nejdl W Using an O-Telos peer to provide reasoning capabilities in an RDF-based P2P-environment Proceedings of the 1st international conference on Agents and peer-to-peer computing, (150-157)
  315. Liu X and Xu W (2002). A Stochastic Programming Approach for Range Query Retrieval Problems, IEEE Transactions on Knowledge and Data Engineering, 14:4, (867-880), Online publication date: 1-Jul-2002.
  316. Alencar P, Cowan D and Luo M (2002). A Framework for Community Information Systems, Annals of Software Engineering, 13:1-4, (381-411), Online publication date: 25-Jun-2002.
  317. Park H, Cho H and Chung C (2002). Heuristic approach for early separated filter and refinement strategy in spatial query optimization, Journal of Systems and Software, 62:3, (161-179), Online publication date: 15-Jun-2002.
  318. ACM
    Ramanan P Efficient algorithms for minimizing tree pattern queries Proceedings of the 2002 ACM SIGMOD international conference on Management of data, (299-309)
  319. ACM
    Zadorozhny V, Raschid L, Vidal M, Urhan T and Bright L Efficient evaluation of queries in a mediator for WebSources Proceedings of the 2002 ACM SIGMOD international conference on Management of data, (85-96)
  320. ACM
    Arasu A, Babcock B, Babu S, McAlister J and Widom J Characterizing memory requirements for queries over continuous data streams Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (221-232)
  321. ACM
    Chirkova R 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, (159-168)
  322. ACM
    Gottlob G and Koch C 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, (17-28)
  323. Dey D and Sarkar S (2002). Generalized Normal Forms for Probabilistic Relational Data, IEEE Transactions on Knowledge and Data Engineering, 14:3, (485-497), Online publication date: 1-May-2002.
  324. ACM
    Cannataro M, Guzzo A and Pugliese A (2002). Knowledge management and XML, ACM SIGAPP Applied Computing Review, 10:1, (33-36), Online publication date: 1-Apr-2002.
  325. ACM
    Ungureanu V An agreement centric access control mechanism for business to business e-commerce Proceedings of the 2002 ACM symposium on Applied computing, (1160-1164)
  326. Codish M and Søndergaard H Meta-circular abstract interpretation in prolog The essence of computation, (109-134)
  327. Džeroski S Data mining tasks and methods: Rule discovery Handbook of data mining and knowledge discovery, (348-353)
  328. Klösgen W Types and forms of data Handbook of data mining and knowledge discovery, (33-44)
  329. Frasincar F, Houben G and Pau C (2002). XAL, Australian Computer Science Communications, 24:2, (49-56), Online publication date: 1-Jan-2002.
  330. Frasincar F, Houben G and Pau C XAL Proceedings of the 13th Australasian database conference - Volume 5, (49-56)
  331. Di Sciascio E, Donini F and Mongiello M (2002). Structured knowledge representation for image retrieval, Journal of Artificial Intelligence Research, 16:1, (209-257), Online publication date: 1-Jan-2002.
  332. Formica A (2002). Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas, IEEE Transactions on Knowledge and Data Engineering, 14:1, (123-139), Online publication date: 1-Jan-2002.
  333. Rondogiannis P and Gergatsoulis M (2001). The Branching-Time Transformation Technique for Chain Datalog Programs, Journal of Intelligent Information Systems, 17:1, (71-94), Online publication date: 21-Nov-2001.
  334. Johnson M and Rosebrugh R Reverse Engineering Legacy Information Systems for Internet Based Interoperation Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
  335. Samarati P (2001). Protecting Respondents' Identities in Microdata Release, IEEE Transactions on Knowledge and Data Engineering, 13:6, (1010-1027), Online publication date: 1-Nov-2001.
  336. Flesca S and Greco S (2001). Rewriting Queries Using Views, IEEE Transactions on Knowledge and Data Engineering, 13:6, (980-995), Online publication date: 1-Nov-2001.
  337. Liu M and Ling T (2001). A Conceptual Model and Rule-Based Query Language for HTML, World Wide Web, 4:1-2, (49-77), Online publication date: 25-Oct-2001.
  338. ACM
    Johnson M and Dampney C On category theory as a (meta) ontology for information systems research Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001, (59-69)
  339. An introduction to inductive logic programming Relational Data Mining, (48-71)
  340. Fayyad U Knowledge discovery in databases Relational Data Mining, (28-45)
  341. ACM
    Nottelmann H and Fuhr N Learning probabilistic datalog rules for information classification and transformation Proceedings of the tenth international conference on Information and knowledge management, (387-394)
  342. ACM
    Blok H, Hiemstra D, Choenni S, de Jong F, Blanken H and Apers P Predicting the cost-quality trade-off for information retrieval queries Proceedings of the tenth international conference on Information and knowledge management, (207-214)
  343. ACM
    Lavrač N and Flach P (2001). An extended transformation approach to inductive logic programming, ACM Transactions on Computational Logic, 2:4, (458-494), Online publication date: 1-Oct-2001.
  344. Cluet S, Veltri P and Vodislav D Views in a Large Scale XML Repository Proceedings of the 27th International Conference on Very Large Data Bases, (271-280)
  345. Wijesekera D, Ganesh M, Srivastava J and Nerode A (2001). Normal forms and syntactic completeness proofs for functional independencies, Theoretical Computer Science, 266:1-2, (365-405), Online publication date: 6-Sep-2001.
  346. ACM
    Dantsin E, Eiter T, Gottlob G and Voronkov A (2001). Complexity and expressive power of logic programming, ACM Computing Surveys, 33:3, (374-425), Online publication date: 1-Sep-2001.
  347. ACM
    Ng W (2001). An extension of the relational data model to incorporate ordered domains, ACM Transactions on Database Systems, 26:3, (344-383), Online publication date: 1-Sep-2001.
  348. ACM
    Li C and Chang E (2001). Answering queries with useful bindings, ACM Transactions on Database Systems, 26:3, (313-343), Online publication date: 1-Sep-2001.
  349. Giannotti F, Manco G, Nanni M and Pedreschi D (2001). Nondeterministic, Nonmonotonic Logic Databases, IEEE Transactions on Knowledge and Data Engineering, 13:5, (813-823), Online publication date: 1-Sep-2001.
  350. Järvelin K, Kekäläinen J and Niemi T (2001). ExpansionTool: Concept-Based Query Expansion and Construction, Information Retrieval, 4:3-4, (231-255), Online publication date: 1-Sep-2001.
  351. ACM
    Hella L, Libkin L, Nurmonen J and Wong L (2001). Logics with aggregate operators, Journal of the ACM, 48:4, (880-907), Online publication date: 1-Jul-2001.
  352. ACM
    Hunt H, Marathe M and Stearns R 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, (183-191)
  353. Lin H and Huang B (2001). SQL/SDA, IEEE Transactions on Knowledge and Data Engineering, 13:4, (671-682), Online publication date: 1-Jul-2001.
  354. ACM
    Amer-Yahia S, Cho S, Lakshmanan L and Srivastava D (2001). Minimization of tree pattern queries, ACM SIGMOD Record, 30:2, (497-508), Online publication date: 1-Jun-2001.
  355. ACM
    Yan L, Miller R, Haas L and Fagin R (2001). Data-driven understanding and refinement of schema mappings, ACM SIGMOD Record, 30:2, (485-496), Online publication date: 1-Jun-2001.
  356. Fuhr N Models in information retrieval Lectures on information retrieval, (21-50)
  357. ACM
    Amer-Yahia S, Cho S, Lakshmanan L and Srivastava D Minimization of tree pattern queries Proceedings of the 2001 ACM SIGMOD international conference on Management of data, (497-508)
  358. ACM
    Yan L, Miller R, Haas L and Fagin R Data-driven understanding and refinement of schema mappings Proceedings of the 2001 ACM SIGMOD international conference on Management of data, (485-496)
  359. ACM
    Cohen S, Nutt W and Sagiv Y Equivalences among aggregate queries with negation Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (215-226)
  360. ACM
    Fan W and Libkin L On XML integrity constraints in the presence of DTDs Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (114-125)
  361. ACM
    Jim T and Suciu D Dynamically distributed query evaluation Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (28-39)
  362. ACM
    Bertino E, Catania B, Ferrari E and Perlasca P A logical framework for reasoning about access control models Proceedings of the sixth ACM symposium on Access control models and technologies, (41-52)
  363. ACM
    Dekhtyar A, Ross R and Subrahmanian V (2001). Probabilistic temporal databases, I, ACM Transactions on Database Systems, 26:1, (41-95), Online publication date: 1-Mar-2001.
  364. ACM
    Andries M, Cabibbo L, Paredaens J and van den Bussche J (2001). Applying an update method to a set of receivers, ACM Transactions on Database Systems, 26:1, (1-40), Online publication date: 1-Mar-2001.
  365. ACM
    Kim S and Won H Batch-construction of B+-trees Proceedings of the 2001 ACM symposium on Applied computing, (231-235)
  366. Mitra P An algorithm for answering queries efficiently using views Proceedings of the 12th Australasian database conference, (99-106)
  367. Godfrey P and Gryz J (2001). Partial Evaluation of Views, Journal of Intelligent Information Systems, 16:1, (21-39), Online publication date: 1-Jan-2001.
  368. Nagappan R A graph-based model for navigating visualisation Selected papers from the Pan-Sydney workshop on Visualisation - Volume 2, (17-21)
  369. Greco S and Zumpano E Querying inconsistent databases Proceedings of the 7th international conference on Logic for programming and automated reasoning, (308-325)
  370. Ahmed N, Mateev N and Pingali K A framework for sparse matrix code synthesis from high-level specifications Proceedings of the 2000 ACM/IEEE conference on Supercomputing, (58-es)
  371. ACM
    Albrecht J, Hümmer W, Lehner W and Schlesinger L Query optimization by using derivability in a data warehouse environment Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP, (49-56)
  372. Hsu C and Knoblock C (2000). Semantic Query Optimization for Query Plans of Heterogeneous Multidatabase Systems, IEEE Transactions on Knowledge and Data Engineering, 12:6, (959-978), Online publication date: 1-Nov-2000.
  373. Brodsky A, Farkas C and Jajodia S (2000). Secure Databases, IEEE Transactions on Knowledge and Data Engineering, 12:6, (900-919), Online publication date: 1-Nov-2000.
  374. Staudt M and Jarke M (2000). View Management Support in Advanced Knowledge Base Servers, Journal of Intelligent Information Systems, 15:3, (253-285), Online publication date: 1-Nov-2000.
  375. Pottinger R and Levy A A Scalable Algorithm for Answering Queries Using Views Proceedings of the 26th International Conference on Very Large Data Bases, (484-495)
  376. ACM
    Wong L (2000). The functional guts of the Kleisli query system, ACM SIGPLAN Notices, 35:9, (1-10), Online publication date: 1-Sep-2000.
  377. ACM
    Valiant L (2000). A neuroidal architecture for cognitive computation, Journal of the ACM, 47:5, (854-882), Online publication date: 1-Sep-2000.
  378. ACM
    Wong L The functional guts of the Kleisli query system Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, (1-10)
  379. Buccafurri F, Leone N and Rullo P (2000). Enhancing Disjunctive Datalog by Constraints, IEEE Transactions on Knowledge and Data Engineering, 12:5, (845-860), Online publication date: 1-Sep-2000.
  380. Bassiliades N, Vlahavas I and Elmagarmid A (2000). E-DEVICE, IEEE Transactions on Knowledge and Data Engineering, 12:5, (824-844), Online publication date: 1-Sep-2000.
  381. Cheung D, Hwang H, Fu A and Han J (2000). Efficient Rule-Based Attribute-Oriented Induction for Data Mining, Journal of Intelligent Information Systems, 15:2, (175-200), Online publication date: 1-Sep-2000.
  382. Liu M (2000). Design and Implementation of the ROL Deductive Object-Oriented Database System, Journal of Intelligent Information Systems, 15:2, (121-146), Online publication date: 1-Sep-2000.
  383. Bertino E, Buccafurri F, Ferrari E and Rullo P (2000). A logic-based approach for enforcing access control[1]A preliminary version of this paper appears in the Proceedings of the 5th European Symposium on Research in Computer Security (ESORICS’98), Louvain-La-Neuve, Belgium, September 1998 under the title “An Authorization Model and its Formal Semantics”., Journal of Computer Security, 8:2,3, (109-139), Online publication date: 1-Aug-2000.
  384. Calvanese D, Giuseppe de Giacomo , Lenzerini M and Vardi M View-Based Query Processing and Constraint Satisfaction Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
  385. ACM
    Cui Y, Widom J and Wiener J (2000). Tracing the lineage of view data in a warehousing environment, ACM Transactions on Database Systems, 25:2, (179-227), Online publication date: 1-Jun-2000.
  386. ACM
    Mateev N, Pingali K, Stodghill P and Kotlyar V Next-generation generic programming and its application to sparse matrix computations Proceedings of the 14th international conference on Supercomputing, (88-99)
  387. ACM
    Saharia A and Babad Y (2000). Enhancing data warehouse performance through query caching, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 31:2, (43-63), Online publication date: 1-May-2000.
  388. ACM
    Dalkilic M and Roberston E Information dependencies Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (245-253)
  389. ACM
    Dantsin E and Voronkov A 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, (157-165)
  390. ACM
    Vardi M Constraint satisfaction and database theory Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (76-85)
  391. ACM
    Fan W and Siméon J Integrity constraints for XML Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (23-34)
  392. Hacid M (2000). Representing and Reasoning on Conceptual QueriesOver Image Databases, Journal of Intelligent Information Systems, 14:2-3, (131-154), Online publication date: 21-Mar-2000.
  393. Rogers T, Ross R and Subrahmanian V (2000). IMPACT, Journal of Intelligent Information Systems, 14:2-3, (95-113), Online publication date: 21-Mar-2000.
  394. Levene M and Vincent M (2000). Justification for Inclusion Dependency Normal Form, IEEE Transactions on Knowledge and Data Engineering, 12:2, (281-291), Online publication date: 1-Mar-2000.
  395. Goh C, Aisaka K, Tsukamoto M and Nishio S Database compression with data mining methods Information organization and databases, (177-190)
  396. Suciu D Semistructured data and XML Information organization and databases, (9-30)
  397. Pavlova E and Van Hung D A Formal Specification of the Concurrency Control in Real-Time Databases Proceedings of the Sixth Asia Pacific Software Engineering Conference
  398. ACM
    Tanzer D and Shasha D Queryable acyclic production systems Proceedings of the eighth international conference on Information and knowledge management, (284-291)
  399. ACM
    Yoon S, Henschen L, Park E and Makki S Using domain knowledge in knowledge discovery Proceedings of the eighth international conference on Information and knowledge management, (243-250)
  400. Nørvåg K The Persistent Cache Proceedings of the 25th International Conference on Very Large Data Bases, (66-77)
  401. Luong V Between Well-Founded Semantics and Stable Model Semantics Proceedings of the 1999 International Symposium on Database Engineering & Applications
  402. Ng W Lexicographically Ordered Functional Dependencies and Their Application to Temporal Relations Proceedings of the 1999 International Symposium on Database Engineering & Applications
  403. Ng K and Muntz R Parallelizing User-Defined Functions in Distributed Object-Relational DBMS Proceedings of the 1999 International Symposium on Database Engineering & Applications
  404. ACM
    Mannila H, Pavlov D and Smyth P Prediction with local patterns using cross-entropy Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining, (357-361)
  405. Kambhampati S and Gnanaprakasam S Optimizing source-call ordering in information gathering plans Proceedings of the 1999 International Conference on Intelligent Information Integration - Volume 23, (97-102)
  406. Halpern J and Meyden R A Logic for SDSI's Linked Local Name Spaces Proceedings of the 12th IEEE workshop on Computer Security Foundations
  407. Bertino E, Ferrari E, Buccafurri F and Rullo P A Logical Framework for Reasoning on Data Access Control Policies Proceedings of the 12th IEEE workshop on Computer Security Foundations
  408. ACM
    Papakonstantinou Y and Vassalos V Query rewriting for semistructured data Proceedings of the 1999 ACM SIGMOD international conference on Management of data, (455-466)
  409. ACM
    Deutsch A, Fernandez M and Suciu D Storing semistructured data with STORED Proceedings of the 1999 ACM SIGMOD international conference on Management of data, (431-442)
  410. ACM
    Papakonstantinou Y and Vassalos V (1999). Query rewriting for semistructured data, ACM SIGMOD Record, 28:2, (455-466), Online publication date: 1-Jun-1999.
  411. ACM
    Deutsch A, Fernandez M and Suciu D (1999). Storing semistructured data with STORED, ACM SIGMOD Record, 28:2, (431-442), Online publication date: 1-Jun-1999.
  412. ACM
    Beringer D, Melloul L and Wiederhold G A reuse and composition protocol for services Proceedings of the 1999 symposium on Software reusability, (54-61)
  413. ACM
    Anderson K Supporting industrial hyperwebs Proceedings of the 21st international conference on Software engineering, (573-582)
  414. ACM
    Cohen S, Nutt W and Serebrenik A Rewriting aggregate queries using views Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (155-166)
  415. ACM
    Cosmadakis S Inherent complexity of recursive queries Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (148-154)
  416. ACM
    Arenas M, Bertossi L and Chomicki J Consistent query answers in inconsistent databases Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (68-79)
  417. ACM
    Gottlob G, Leone N and Scarcello F Hypertree decompositions and tractable queries Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (21-32)
  418. ACM
    Abiteboul S On views and XML Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (1-9)
  419. Badia A (1999). Cooperative Query Answering with GeneralizedQuantifiers, Journal of Intelligent Information Systems, 12:1, (75-97), Online publication date: 1-Apr-1999.
  420. Levene M and Loizou G (1999). A probabilistic approach to navigation in Hypertext, Information Sciences: an International Journal, 114:1-4, (165-186), Online publication date: 1-Mar-1999.
  421. ACM
    Wijsen J (1999). Temporal FDs on complex objects, ACM Transactions on Database Systems, 24:1, (127-176), Online publication date: 1-Mar-1999.
  422. ACM
    Levene M and Loizou G (1999). Database design for incomplete relations, ACM Transactions on Database Systems, 24:1, (80-126), Online publication date: 1-Mar-1999.
  423. Greco S (1999). Dynamic Programming in Datalog with Aggregates, IEEE Transactions on Knowledge and Data Engineering, 11:2, (265-283), Online publication date: 1-Mar-1999.
  424. Wang H, Bell D and Murtagh F (1999). Axiomatic Approach to Feature Subset Selection Based on Relevance, IEEE Transactions on Pattern Analysis and Machine Intelligence, 21:3, (271-277), Online publication date: 1-Mar-1999.
  425. Dehaspe L and Toivonen H (1999). Discovery of frequent DATALOG patterns, Data Mining and Knowledge Discovery, 3:1, (7-36), Online publication date: 1-Mar-1999.
  426. ACM
    Bergin J, Naps T, Bland C, Hartley S, Holliday M, Lawhead P, Lewis J, McNally M, Nevison C, Ng C, Pothering G and Teräsvirta T Java resources for computer science instruction Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education, (14-34)
  427. Greco S (1998). Non-determinism and weak constraints in Datalog, New Generation Computing, 16:4, (373-395), Online publication date: 1-Dec-1998.
  428. ACM
    Jagadish H, Jones M, Srivastava D and Vista D Flexible list management in a directory Proceedings of the seventh international conference on Information and knowledge management, (10-19)
  429. ACM
    Bergin J, Naps T, Bland C, Hartley S, Holliday M, Lawhead P, Lewis J, McNally M, Nevison C, Ng C, Pothering G and Teräsvirta T (1998). Java resources for computer science instruction, ACM SIGCUE Outlook, 26:4, (14-34), Online publication date: 1-Oct-1998.
  430. Angele J, Fensel D, Landes D and Studer R (1998). Developing Knowledge-Based Systems with MIKE, Automated Software Engineering, 5:4, (389-418), Online publication date: 1-Oct-1998.
  431. Kemp D and Ramamohanarao K (1998). Efficient Recursive Aggregation and Negation in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 10:5, (727-745), Online publication date: 1-Sep-1998.
  432. Dehaspe L, Toivonen H and King R Finding frequent substructures in chemical compounds Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining, (30-36)
  433. Fang M, Shivakumar N, Garcia-Molina H, Motwani R and Ullman J Computing Iceberg Queries Efficiently Proceedings of the 24rd International Conference on Very Large Data Bases, (299-310)
  434. Amer-Yahia S, Cluet S and Delobel C Bulk-Loading Techniques for Object Databases and an Application to Relational Data Proceedings of the 24rd International Conference on Very Large Data Bases, (534-545)
  435. Weber R, Schek H and Blott S 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, (194-205)
  436. Shivakumar N, Garcia-Molina H and Chekuri C Filtering with Approximate Predicates Proceedings of the 24rd International Conference on Very Large Data Bases, (263-274)
  437. Fensel D, Angele J and Studer R (1998). The Knowledge Acquisition and Representation Language, KARL, IEEE Transactions on Knowledge and Data Engineering, 10:4, (527-550), Online publication date: 1-Jul-1998.
  438. Baral C, Gonzalez G and Son T (1998). Conceptual Modeling and Querying inMultimedia Databases, Multimedia Tools and Applications, 7:1-2, (37-66), Online publication date: 1-Jul-1998.
  439. Shen Y (1998). Extracting schema from an OEM database, Journal of Computer Science and Technology, 13:4, (289-299), Online publication date: 1-Jul-1998.
  440. ACM
    Nestorov S, Abiteboul S and Motwani R (1998). Extracting schema from semistructured data, ACM SIGMOD Record, 27:2, (295-306), Online publication date: 1-Jun-1998.
  441. ACM
    Grumbach S, Rigaux P and Segoufin L (1998). The DEDALE system for complex spatial queries, ACM SIGMOD Record, 27:2, (213-224), Online publication date: 1-Jun-1998.
  442. ACM
    Tsur D, Ullman J, Abiteboul S, Clifton C, Motwani R, Nestorov S and Rosenthal A (1998). Query flocks, ACM SIGMOD Record, 27:2, (1-12), Online publication date: 1-Jun-1998.
  443. ACM
    Nestorov S, Abiteboul S and Motwani R Extracting schema from semistructured data Proceedings of the 1998 ACM SIGMOD international conference on Management of data, (295-306)
  444. ACM
    Grumbach S, Rigaux P and Segoufin L The DEDALE system for complex spatial queries Proceedings of the 1998 ACM SIGMOD international conference on Management of data, (213-224)
  445. ACM
    Tsur D, Ullman J, Abiteboul S, Clifton C, Motwani R, Nestorov S and Rosenthal A Query flocks Proceedings of the 1998 ACM SIGMOD international conference on Management of data, (1-12)
  446. Bertossi L, Arenas M and Ferretti C (1998). SCDBR, Journal of Intelligent Information Systems, 10:3, (253-280), Online publication date: 1-Jun-1998.
  447. Meo R, Psaila G and Ceri S (1998). An Extension to SQL for Mining Association Rules, Data Mining and Knowledge Discovery, 2:2, (195-224), Online publication date: 1-Jun-1998.
  448. Donini F, Lenzerini M, Nardi D and Schaerf A (1998). {\cal A}{\cal L} -log, Journal of Intelligent Information Systems, 10:3, (227-252), Online publication date: 1-Jun-1998.
  449. ACM
    Chang C and Garcia-Molina H Conjunctive constraint mapping for data translation Proceedings of the third ACM conference on Digital libraries, (49-58)
  450. Levy A and Rousset M (1998). Verification of knowledge bases based on containment checking, Artificial Intelligence, 101:1-2, (227-250), Online publication date: 1-May-1998.
  451. ACM
    Abiteboul S and Duschka O Complexity of answering queries using materialized views Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (254-263)
  452. ACM
    Kolaitis P and Vardi M Conjunctive-query containment and constraint satisfaction Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (205-213)
  453. ACM
    Kolaitis P, Martin D and Thakur M 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, (197-204)
  454. ACM
    Neven F, Van Gucht D, Van den Bussche J and Vossen G Typed query languages for databases containing queries Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (189-196)
  455. Bettini C, Sean Wang X and Jajodia S (1998). Temporal Semantic Assumptions and Their Use in Databases, IEEE Transactions on Knowledge and Data Engineering, 10:2, (277-296), Online publication date: 1-Mar-1998.
  456. Li Q and Lochovsky F (1998). ADOME, IEEE Transactions on Knowledge and Data Engineering, 10:2, (255-276), Online publication date: 1-Mar-1998.
  457. ACM
    Staudt M, Quix C and Jeusfeld M View maintenance and change notification for application program views Proceedings of the 1998 ACM symposium on Applied Computing, (220-225)
  458. ACM
    Machuca F and Millán M 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, (70-73)
  459. Hsu C and Knoblock C (1998). Discovering Robust Knowledge from Databases that Change, Data Mining and Knowledge Discovery, 2:1, (69-95), Online publication date: 31-Jan-1998.
  460. Huyn N (1998). Maintaining Global Integrity Constraints in DistributedDatabases, Constraints, 2:3/4, (377-399), Online publication date: 1-Jan-1998.
  461. Papakonstantinou Y, Gupta A and Haas L (1998). Capabilities-Based Query Rewriting in Mediator Systems, Distributed and Parallel Databases, 6:1, (73-110), Online publication date: 1-Jan-1998.
  462. Plümer L and Gröger G (1997). Achieving Integrity in Geographic Information Systems—Maps and Nested Maps, Geoinformatica, 1:4, (345-367), Online publication date: 1-Dec-1997.
  463. ACM
    Kotlyar V, Pingali K and Stodghill P Compiling parallel code for sparse matrix applications Proceedings of the 1997 ACM/IEEE conference on Supercomputing, (1-18)
  464. ACM
    Gröger G and Plümer L Provably correct and complete transaction rules for GIS Proceedings of the 5th ACM international workshop on Advances in geographic information systems, (40-43)
  465. Zhang X and Ozsoyoglu Z (1997). Implication and Referential Constraints, IEEE Transactions on Knowledge and Data Engineering, 9:6, (894-910), Online publication date: 1-Nov-1997.
  466. Palopoli L and Torlone R (1997). Generalized Production Rules as a Basis for Integrating Active and Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 9:6, (848-862), Online publication date: 1-Nov-1997.
  467. van Emden M (1997). Value Constraints in the CLP Scheme, Constraints, 2:2, (163-183), Online publication date: 1-Oct-1997.
  468. Yang Q, Dao S, Yu C and Rishe N (1997). A Parallel Scheme Using the Divide-and-Conquer Method, Distributed and Parallel Databases, 5:4, (405-438), Online publication date: 1-Oct-1997.
  469. Grefen P and Widom J (1997). Protocols for Integrity Constraint Checking in FederatedDatabases, Distributed and Parallel Databases, 5:4, (327-355), Online publication date: 1-Oct-1997.
  470. Harrison J, Berglas A and Peake I Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology Proceedings of the Australian Software Engineering Conference
  471. Montesi D, Bertino E and Martelli M (1997). Transactions and Updates in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 9:5, (784-797), Online publication date: 1-Sep-1997.
  472. Huyn N Multiple-View Self-Maintenance in Data Warehousing Environments Proceedings of the 23rd International Conference on Very Large Data Bases, (26-35)
  473. ACM
    Kotlyar V and Pingali K Sparse code generation for imperfectly nested loops with dependences Proceedings of the 11th international conference on Supercomputing, (188-195)
  474. Leone N, Rullo P, Mecchia A and Rossi G (1997). A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning, IEEE Transactions on Knowledge and Data Engineering, 9:4, (539-558), Online publication date: 1-Jul-1997.
  475. Dantsin E, Eiter T, Gottlob G and Voronkov A Complexity and Expressive Power of Logic Programming Proceedings of the 12th Annual IEEE Conference on Computational Complexity
  476. ACM
    Griffin T and Hull R (1997). A framework for implementing hypothetical queries, ACM SIGMOD Record, 26:2, (231-242), Online publication date: 1-Jun-1997.
  477. ACM
    Griffin T and Hull R A framework for implementing hypothetical queries Proceedings of the 1997 ACM SIGMOD international conference on Management of data, (231-242)
  478. ACM
    Wang X, Bettini C, Brodsky A and Jajodia S (1997). Logical design for temporal databases with multiple granularities, ACM Transactions on Database Systems, 22:2, (115-170), Online publication date: 1-Jun-1997.
  479. Semmel R and Mayfield J (1997). Automated Query Formulation Using an Entity–Relationship Conceptual Schema, Journal of Intelligent Information Systems, 8:3, (267-290), Online publication date: 1-Jun-1997.
  480. Morik K and Brockhausen P (1997). A Multistrategy Approach to Relational Knowledge Discovery inDatabases, Machine Language, 27:3, (287-312), Online publication date: 1-Jun-1997.
  481. Dietrich S and Fan C (1997). On the completeness of naive memoing in Prolog, New Generation Computing, 15:2, (141-162), Online publication date: 1-Jun-1997.
  482. ACM
    Duschka O and Genesereth M Answering recursive queries using views Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (109-116)
  483. ACM
    Benedikt M and Libkin L Languages for relational databases over interpreted structures Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (87-98)
  484. ACM
    Hull R Managing semantic heterogeneity in databases Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (51-61)
  485. ACM
    Ibarra O and Su J 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, (32-43)
  486. ACM
    Levy A and Suciu D Deciding containment for queries with complex objects (extended abstract) Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (20-31)
  487. ACM
    Papadimitriou C and Yannakakis M On the complexity of database queries (extended abstract) Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (12-19)
  488. Tansel A (1997). Temporal Relational Data Model, IEEE Transactions on Knowledge and Data Engineering, 9:3, (464-479), Online publication date: 1-May-1997.
  489. Cadoli M, Eiter T and Gottlob G (1997). Default Logic as a Query Language, IEEE Transactions on Knowledge and Data Engineering, 9:3, (448-463), Online publication date: 1-May-1997.
  490. Garcia-Molina H, Papakonstantinou Y, Quass D, Rajaraman A, Sagiv Y, Ullman J, Vassalos V and Widom J (1997). The TSIMMIS Approach to Mediation, Journal of Intelligent Information Systems, 8:2, (117-132), Online publication date: 31-Mar-1997.
  491. Qian X and Lunt T (1997). A Semantic Framework of the Multilevel Secure Relational Model, IEEE Transactions on Knowledge and Data Engineering, 9:2, (292-301), Online publication date: 1-Mar-1997.
  492. Bækgaard L and Mark L (1997). Incremental Computation of Set Difference Views, IEEE Transactions on Knowledge and Data Engineering, 9:2, (251-261), Online publication date: 1-Mar-1997.
  493. ACM
    Morishita S (1997). Avoiding Cartesian products for multiple joins, Journal of the ACM, 44:1, (57-85), Online publication date: 15-Jan-1997.
  494. ACM
    Abiteboul S, Vardi M and Vianu V (1997). Fixpoint logics, relational machines, and computational complexity, Journal of the ACM, 44:1, (30-56), Online publication date: 15-Jan-1997.
  495. ACM
    Lukasiewicz T Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events Proceedings of the sixth international conference on Information and knowledge management, (75-82)
  496. Tansel A and Tin E (1997). The Expressive Power of Temporal Relational Query Languages, IEEE Transactions on Knowledge and Data Engineering, 9:1, (120-134), Online publication date: 1-Jan-1997.
  497. Silberschatz A and Tuzhilin A (1996). What Makes Patterns Interesting in Knowledge Discovery Systems, IEEE Transactions on Knowledge and Data Engineering, 8:6, (970-974), Online publication date: 1-Dec-1996.
  498. Cheung D, Ng V, Fu A and Fu Y (1996). Efficient Mining of Association Rules in Distributed Databases, IEEE Transactions on Knowledge and Data Engineering, 8:6, (911-922), Online publication date: 1-Dec-1996.
  499. ACM
    Greco S Optimal unification of bound simple set-terms Proceedings of the fifth international conference on Information and knowledge management, (326-336)
  500. ACM
    Andrews A, Shiri N, Lakshmanan L and Subramanian I On implementing SchemaLog—a database programming language Proceedings of the fifth international conference on Information and knowledge management, (309-316)
  501. ACM
    Aquilino D, Renso C and Turini F Towards declarative GIS analysis Proceedings of the 4th ACM international workshop on Advances in geographic information systems, (98-104)
  502. ACM
    Russomanno D 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, (90-97)
  503. ACM
    Plümer L and Gröger G Nested maps—a formal, provably correct object model for spatial aggregates Proceedings of the 4th ACM international workshop on Advances in geographic information systems, (76-83)
  504. Meo R, Psaila G and Ceri S A New SQL-like Operator for Mining Association Rules Proceedings of the 22th International Conference on Very Large Data Bases, (122-133)
  505. Staudt M and Jarke M Incremental Maintenance of Externally Materialized Views Proceedings of the 22th International Conference on Very Large Data Bases, (75-86)
  506. Böhlen M, Snodgrass R and Soo M Coalescing in Temporal Databases Proceedings of the 22th International Conference on Very Large Data Bases, (180-191)
  507. Levy A Obtaining Complete Answers from Incomplete Databases Proceedings of the 22th International Conference on Very Large Data Bases, (402-412)
  508. Lee S and Ling T Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases Proceedings of the 22th International Conference on Very Large Data Bases, (495-505)
  509. Kwok C and Weld D Planning to gather inforrnation Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1, (32-39)
  510. Guo S, Sun W and Weiss M (1996). On Satisfiability, Equivalence, and Implication Problems Involving Conjunctive Queries in Database Systems, IEEE Transactions on Knowledge and Data Engineering, 8:4, (604-616), Online publication date: 1-Aug-1996.
  511. Jensen C, Snodgrass R and Soo M (1996). Extending Existing Dependency Theory to Temporal Databases, IEEE Transactions on Knowledge and Data Engineering, 8:4, (563-582), Online publication date: 1-Aug-1996.
  512. Chang K, Garcia-Molina H and Paepcke A (1996). Boolean Query Mapping Across Heterogeneous Information Sources, IEEE Transactions on Knowledge and Data Engineering, 8:4, (515-521), Online publication date: 1-Aug-1996.
  513. Li C and Wang X Optimizing Statistical Queries by Exploiting Orthogonality and Interval Properties of Grouping Relations Proceedings of the Eighth International Conference on Scientific and Statistical Database Management, (118-127)
  514. ACM
    Rajaraman A and Ullman J Integrating information by outerjoins and full disjunctions (extended abstract) Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (238-248)
  515. ACM
    Bertino E and Catania B Static analysis of intensional databases in U-Datalog (extended abstract) Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (202-212)
  516. ACM
    Toman D 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, (58-67)
  517. ACM
    Goyal N, Hoch C, Krishnamurthy R, Meckler B and Suckow M (1996). Is GUI programming a database research problem?, ACM SIGMOD Record, 25:2, (517-528), Online publication date: 1-Jun-1996.
  518. ACM
    Goyal N, Hoch C, Krishnamurthy R, Meckler B and Suckow M Is GUI programming a database research problem? Proceedings of the 1996 ACM SIGMOD international conference on Management of data, (517-528)
  519. ACM
    Guo S, Sun W and Weiss M (1996). Solving satisfiability and implication problems in database systems, ACM Transactions on Database Systems, 21:2, (270-293), Online publication date: 1-Jun-1996.
  520. ACM
    Bell C, Nerode A, Ng R and Subrahmanian V (1996). Implementing deductive databases by mixed integer programming, ACM Transactions on Database Systems, 21:2, (238-269), Online publication date: 1-Jun-1996.
  521. ACM
    Ross K (1996). Tail recursion elimination in deductive databases, ACM Transactions on Database Systems, 21:2, (208-237), Online publication date: 1-Jun-1996.
  522. Catarci T, Chang S, Costabile M, Levialdi S and Santucci G (1996). A Graph-Based Framework for Multiparadigmatic Visual Access to Databases, IEEE Transactions on Knowledge and Data Engineering, 8:3, (455-475), Online publication date: 1-Jun-1996.
  523. Han J, Huang Y, Cercone N and Fu Y (1996). Intelligent Query Answering by Knowledge Discovery Techniques, IEEE Transactions on Knowledge and Data Engineering, 8:3, (373-390), Online publication date: 1-Jun-1996.
  524. Weld D Planning-based control of software agents Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (268-274)
  525. Pan S and Dromey R Beyond structured programming Proceedings of the 18th international conference on Software engineering, (268-277)
  526. ACM
    Mumick I, Finkelstein S, Pirahesh H and Ramakrishnan R (1996). Magic conditions, ACM Transactions on Database Systems, 21:1, (107-155), Online publication date: 1-Mar-1996.
  527. ACM
    Baralis E, Ceri S and Paraboschi S (1996). Modularization techniques for active rules design, ACM Transactions on Database Systems, 21:1, (1-29), Online publication date: 1-Mar-1996.
  528. Delugach H and Hinke T (1996). Wizard, IEEE Transactions on Knowledge and Data Engineering, 8:1, (56-66), Online publication date: 1-Feb-1996.
  529. Marks D (1996). Inference in MLS Database Systems, IEEE Transactions on Knowledge and Data Engineering, 8:1, (46-55), Online publication date: 1-Feb-1996.
  530. Qian X and Lunt T (1996). A MAC Policy Framework for Multilevel Relational Databases, IEEE Transactions on Knowledge and Data Engineering, 8:1, (3-15), Online publication date: 1-Feb-1996.
  531. Eden P A Step by Step Method for Conceptual Data Analysis Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
  532. Chang E A Software Engineering Subject on System Description Techniques Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
  533. ACM
    Yoon S, Song I and Park E Semantic query processing in object-oriented databases using deductive approach Proceedings of the fourth international conference on Information and knowledge management, (150-157)
  534. ACM
    Srivastava D, Sudarshan S, Ramakrishnan R and Naughton J (1995). Space optimization in deductive databases, ACM Transactions on Database Systems, 20:4, (472-516), Online publication date: 1-Dec-1995.
  535. Vadaparty K and Naqvi S (1995). Using Constraints for Efficient Query Processing in Nondeterministic Databases, IEEE Transactions on Knowledge and Data Engineering, 7:6, (850-864), Online publication date: 1-Dec-1995.
  536. Han J (1995). Program Partition and Logic Program Analysis, IEEE Transactions on Software Engineering, 21:12, (959-968), Online publication date: 1-Dec-1995.
  537. Levene M and Loizou G (1995). A Graph-Based Data Model and its Ramifications, IEEE Transactions on Knowledge and Data Engineering, 7:5, (809-823), Online publication date: 1-Oct-1995.
  538. Ganguly S, Greco S and Zaniolo C (1995). Extrema Predicates in Deductive Databases, Journal of Computer and System Sciences, 51:2, (244-259), Online publication date: 1-Oct-1995.
  539. ACM
    Ram S (1995). Deriving functional dependencies from the entity-relationship model, Communications of the ACM, 38:9, (95-111), Online publication date: 1-Sep-1995.
  540. John G Robust decision trees Proceedings of the First International Conference on Knowledge Discovery and Data Mining, (174-179)
  541. ACM
    Fuks H and de Moura L (1995). Additional workshop papers presented at CSCW'94, ACM SIGOIS Bulletin, 16:1, (64-68), Online publication date: 1-Aug-1995.
  542. Bækgaard L and Mark L (1995). Incremental Computation of Time-Varying Query Expressions, IEEE Transactions on Knowledge and Data Engineering, 7:4, (583-590), Online publication date: 1-Aug-1995.
  543. ACM
    Fuhr N Probabilistic Datalog—a logic for powerful retrieval methods Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval, (282-290)
  544. ACM
    Reps T Shape analysis as a generalized path problem Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (1-11)
  545. ACM
    Abiteboul S, Cluet S and Milo T A database interface for file update Proceedings of the 1995 ACM SIGMOD international conference on Management of data, (386-397)
  546. ACM
    Griffin T and Libkin L Incremental maintenance of views with duplicates Proceedings of the 1995 ACM SIGMOD international conference on Management of data, (328-339)
  547. ACM
    Sistla A and Wolfson O Temporal conditions and integrity constraints in active database systems Proceedings of the 1995 ACM SIGMOD international conference on Management of data, (269-280)
  548. ACM
    Bettini C, Wang X, Bertino E and Jajodia S Semantic assumptions and query evaluation in temporal databases Proceedings of the 1995 ACM SIGMOD international conference on Management of data, (257-268)
  549. ACM
    Baekgaard L and Mark L (1995). Incremental computation of nested relational query expressions, ACM Transactions on Database Systems, 20:2, (111-148), Online publication date: 1-Jun-1995.
  550. ACM
    Harel D (1995). Will I be pretty, will I be rich?, ACM SIGACT News, 26:2, (21-25), Online publication date: 1-Jun-1995.
  551. Sistla A and Wolfson O (1995). Temporal Triggers in Active Databases, IEEE Transactions on Knowledge and Data Engineering, 7:3, (471-486), Online publication date: 1-Jun-1995.
  552. Ganguly S, Silberschatz A and Tsur S (1995). Mapping Datalog Program Execution to Networks of Processors, IEEE Transactions on Knowledge and Data Engineering, 7:3, (351-361), Online publication date: 1-Jun-1995.
  553. Kolaitis P and Thakur M (1995). Approximation Properties of NP Minimization Classes, Journal of Computer and System Sciences, 50:3, (391-411), Online publication date: 1-Jun-1995.
  554. ACM
    Abiteboul S, Cluet S and Milo T (1995). A database interface for file update, ACM SIGMOD Record, 24:2, (386-397), Online publication date: 22-May-1995.
  555. ACM
    Griffin T and Libkin L (1995). Incremental maintenance of views with duplicates, ACM SIGMOD Record, 24:2, (328-339), Online publication date: 22-May-1995.
  556. ACM
    Sistla A and Wolfson O (1995). Temporal conditions and integrity constraints in active database systems, ACM SIGMOD Record, 24:2, (269-280), Online publication date: 22-May-1995.
  557. ACM
    Bettini C, Wang X, Bertino E and Jajodia S (1995). Semantic assumptions and query evaluation in temporal databases, ACM SIGMOD Record, 24:2, (257-268), Online publication date: 22-May-1995.
  558. ACM
    Ross K Structural totality and constraint stratification Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (184-195)
  559. ACM
    Levy A and Sagiv Y Semantic query optimization in Datalog programs (extended abstract) Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (163-173)
  560. ACM
    Dong G and Su J Space-bounded FOIES (extended abstract) Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (139-150)
  561. ACM
    Picouet P and Vianu V Semantics and expressiveness issues in active databases (extended abstract) Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (126-138)
  562. ACM
    Rajaraman A, Sagiv Y and Ullman J Answering queries using templates with binding patterns (extended abstract) Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (105-112)
  563. ACM
    Stolboushkin A and Taitslin M Finite queries do not have effective syntax Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (277-285)
  564. ACM
    Vardi M On the complexity of bounded-variable queries (extended abstract) Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (266-276)
  565. ACM
    Jagadish H, Mendelzon A and Milo T Similarity-based queries Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (36-45)
  566. ACM
    Consens M and Milo T Algebras for querying text regions (extended abstract) Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (11-22)
  567. Ho Lee S and J. Henschen L (1995). Evaluation of Recursive Queries with Extended Rules in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 7:2, (328-331), Online publication date: 1-Apr-1995.
  568. Han J (1995). Chain-Split Evaluation in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 7:2, (261-273), Online publication date: 1-Apr-1995.
  569. ACM
    Wilson R (1995). Integrating a breadth-first curriculum with relevant programming projects in CS1/CS2, ACM SIGCSE Bulletin, 27:1, (214-217), Online publication date: 15-Mar-1995.
  570. ACM
    Wilson R Integrating a breadth-first curriculum with relevant programming projects in CS1/CS2 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (214-217)
  571. Sirounian L and Grosky W (1995). A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases, IEEE Transactions on Knowledge and Data Engineering, 7:1, (82-105), Online publication date: 1-Feb-1995.
  572. Sadri F (1995). Integrity Constraints in the Information Source Tracking Method, IEEE Transactions on Knowledge and Data Engineering, 7:1, (106-119), Online publication date: 1-Feb-1995.
  573. Zhang W, Wang K and Chau S (1995). Data Partition and Parallel Evaluation of Datalog Programs, IEEE Transactions on Knowledge and Data Engineering, 7:1, (163-176), Online publication date: 1-Feb-1995.
  574. Sun W and Weiss M (1994). An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities, IEEE Transactions on Knowledge and Data Engineering, 6:6, (997-1001), Online publication date: 1-Dec-1994.
  575. Harhalakis G, Lin C, Mark L and Muro-Medrano P (1994). Implementation of Rule-Based Information Systems for Integrated Manufacturing, IEEE Transactions on Knowledge and Data Engineering, 6:6, (892-908), Online publication date: 1-Dec-1994.
  576. ACM
    Davidson S, Kosky A and Eckman B Facilitating transformations in a human genome project database Proceedings of the third international conference on Information and knowledge management, (423-432)
  577. ACM
    Yoon S, Song I and Park E Intelligent query answering in deductive and object-oriented databases Proceedings of the third international conference on Information and knowledge management, (244-251)
  578. ACM
    Chen Y and Härder T An optimal graph traversal algorithm for evaluating linear binary-chain programs Proceedings of the third international conference on Information and knowledge management, (34-41)
  579. Prastowo B Toward automation of generating incremental computation mechanisms Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
  580. Eigler F Translating GraphLog to SQL Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
  581. ACM
    Amann B, Scholl M and Rizk A Querying typed hypertexts in Multicard/O2 Proceedings of the 1994 ACM European conference on Hypermedia technology, (198-205)
  582. Baralis E and Widom J An Algebraic Approach to Rule Analysis in Expert Database Systems Proceedings of the 20th International Conference on Very Large Data Bases, (475-486)
  583. Sripada S and Wüthrich B Cumulative Updates Proceedings of the 20th International Conference on Very Large Data Bases, (534-545)
  584. Levy A, Mumick I and Sagiv Y Query Optimization by Predicate Move-Around Proceedings of the 20th International Conference on Very Large Data Bases, (96-107)
  585. Nayak P Representing multiple theories Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (1154-1160)
  586. ACM
    Cohen D, Goldman N and Narayanaswamy K (1994). Adding performance information to ADT interfaces, ACM SIGPLAN Notices, 29:8, (84-93), Online publication date: 1-Aug-1994.
  587. ACM
    Cohen D, Goldman N and Narayanaswamy K Adding performance information to ADT interfaces Proceedings of the Workshop on Interface Definition Languages, (84-93)
  588. Illarramendi A, Blanco J and Goñi A (1994). Making the Knowledge Base Systems More Efficient, IEEE Transactions on Knowledge and Data Engineering, 6:4, (634-639), Online publication date: 1-Aug-1994.
  589. Wang K and Yuan L (1994). First-Order Logic Characterization of Program Properties, IEEE Transactions on Knowledge and Data Engineering, 6:4, (518-533), Online publication date: 1-Aug-1994.
  590. Ramakrishnan R, Srivastava D and Sudarshan S (1994). Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs, IEEE Transactions on Knowledge and Data Engineering, 6:4, (501-517), Online publication date: 1-Aug-1994.
  591. Hsu C and Knoblock C Rule induction for semantic query optimization Proceedings of the 3rd International Conference on Knowledge Discovery and Data Mining, (311-322)
  592. ACM
    Wolfe J Ad Hoc Query: a reusable database access capability Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada, (17-27)
  593. ACM
    Hellerstein J (1994). Practical predicate placement, ACM SIGMOD Record, 23:2, (325-335), Online publication date: 1-Jun-1994.
  594. ACM
    Mumick I and Pirahesh H (1994). Implementation of magic-sets in a relational database system, ACM SIGMOD Record, 23:2, (103-114), Online publication date: 1-Jun-1994.
  595. ACM
    Hellerstein J Practical predicate placement Proceedings of the 1994 ACM SIGMOD international conference on Management of data, (325-335)
  596. ACM
    Mumick I and Pirahesh H Implementation of magic-sets in a relational database system Proceedings of the 1994 ACM SIGMOD international conference on Management of data, (103-114)
  597. ACM
    Grahne G, Nykänen M and Ukkonen E Reasoning about strings in databases Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (303-312)
  598. ACM
    Chaudhuri S and Vardi M 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, (107-116)
  599. ACM
    Chaudhuri S and Kolaitis P Can Datalog be approximated? Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (86-96)
  600. ACM
    Kivinen J and Mannila H The power of sampling in knowledge discovery Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (77-85)
  601. ACM
    Stuckey P and Sudarshan S Compiling query constraints (extended abstract) Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (56-67)
  602. ACM
    Gupta A, Sagiv Y, Ullman J and Widom J Constraint checking with partial information Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (45-55)
  603. ACM
    Harel D Will I be pretty, will I be rich? Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (1-3)
  604. ACM
    Rogers D and Unger E A deterrent to linear system inferential attacks using a mediator Proceedings of the 1994 ACM symposium on Applied computing, (15-19)
  605. Rundensteiner E, Bic L, Gilbert J and Yin M (1994). Set Restrictions for Semantic Groupings, IEEE Transactions on Knowledge and Data Engineering, 6:2, (193-204), Online publication date: 1-Apr-1994.
  606. Johnson M (1994). Computing with features as formulae, Computational Linguistics, 20:1, (1-25), Online publication date: 1-Mar-1994.
  607. Sun W and Yu C (1994). Semantic Query Optimization for Tree and Chain Queries, IEEE Transactions on Knowledge and Data Engineering, 6:1, (136-151), Online publication date: 1-Feb-1994.
  608. Lee B and Wiederhold G (1994). Outer Joins and Filters for Instantiating Objects from Relational Databases Through Views, IEEE Transactions on Knowledge and Data Engineering, 6:1, (108-119), Online publication date: 1-Feb-1994.
  609. Han J (1994). Constraint-Based Query Evaluation in Deductive Databases, IEEE Transactions on Knowledge and Data Engineering, 6:1, (96-107), Online publication date: 1-Feb-1994.
  610. ACM
    Gupta A and Tiwari S Distributed constraint management for collaborative engineering databases Proceedings of the second international conference on Information and knowledge management, (655-664)
  611. ACM
    Naqvi S, Imielinski T, Kohli M and Vadaparty K Speculative query evaluation over databases of plans Proceedings of the second international conference on Information and knowledge management, (439-450)
  612. ACM
    Hsu C and Knoblock C Reformulating query plans for multidatabase systems Proceedings of the second international conference on Information and knowledge management, (423-432)
  613. ACM
    Saraiya Y Projection-propagation in complex-object query languages Proceedings of the second international conference on Information and knowledge management, (413-422)
  614. ACM
    Devanbu P Translating description logics to information server queries Proceedings of the second international conference on Information and knowledge management, (256-263)
  615. ACM
    Harrison J Active rules in deductive databases Proceedings of the second international conference on Information and knowledge management, (174-183)
  616. ACM
    Qian X (1993). The deductive synthesis of database transactions, ACM Transactions on Database Systems, 18:4, (626-677), Online publication date: 1-Dec-1993.
  617. ACM
    Tay Y (1993). On the optimality of strategies for multiple join, Journal of the ACM, 40:5, (1067-1086), Online publication date: 1-Nov-1993.
  618. Paulley G and Larson P Exploiting uniqueness in query optimization Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2, (804-822)
  619. ACM
    Crawford D (1993). Technical correspondence, Communications of the ACM, 36:10, (19), Online publication date: 1-Oct-1993.
  620. Snodgrass R, Gomez S and McKenzie E (1993). Aggregates in the Temporal Query Language TQuel, IEEE Transactions on Knowledge and Data Engineering, 5:5, (826-842), Online publication date: 1-Oct-1993.
  621. Guigó R and Smith T (1993). Inferring Correlation Between Database Queries, IEEE Transactions on Pattern Analysis and Machine Intelligence, 15:10, (1030-1041), Online publication date: 1-Oct-1993.
  622. ACM
    Sagiv Y and Shmueli O (1993). Solving queries by tree projections, ACM Transactions on Database Systems, 18:3, (487-511), Online publication date: 1-Sep-1993.
  623. ACM
    Levene M and Loizou G (1993). Semantics for null extended nested relations, ACM Transactions on Database Systems, 18:3, (414-459), Online publication date: 1-Sep-1993.
  624. Fabret F, Régnier M and Simon E An Adaptive Algorithm for Incremental Evaluation of Production Rules in Databases Proceedings of the 19th International Conference on Very Large Data Bases, (455-466)
  625. Levy A and Sagiv Y Queries Independent of Updates Proceedings of the 19th International Conference on Very Large Data Bases, (171-181)
  626. Abiteboul S, Cluet S and Milo T Querying and Updating the File Proceedings of the 19th International Conference on Very Large Data Bases, (73-84)
  627. Poulovassilis A and Small C A Domain-theoretic Approach to Integrating Functional and Logic Database Languages Proceedings of the 19th International Conference on Very Large Data Bases, (416-428)
  628. Chaudhuri S and Shim K Query Optimization in the Presence of Foreign Functions Proceedings of the 19th International Conference on Very Large Data Bases, (529-542)
  629. ACM
    Escobar-Molano M, Hull R and Jacobs D Safety and translation of calculus queries with scalar functions Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (253-264)
  630. ACM
    Nodine M, Goodrich M and Vitter J Blocking for external graph searching Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (222-232)
  631. ACM
    Chaudhuri S Finding nonrecursive envelopes for Datalog predicate Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (135-146)
  632. ACM
    Morishita S An alternating fixpoint tailored to magic programs Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (123-134)
  633. ACM
    Levy A, Mumick I, Sagiv Y and Shmueli O Equivalence, query-reachability and satisfiability in Datalog extensions Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (109-122)
  634. ACM
    Chaudhuri S and Vardi M Optimization of real conjunctive queries Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (59-70)
  635. Hsu C and Knoblock C Learning database abstractions for query reformulation Proceedings of the 2nd International Conference on Knowledge Discovery in Databases, (276-290)
  636. Savnik I and Flach P Bottom-up induction of functional dependencies from relations Proceedings of the 2nd International Conference on Knowledge Discovery in Databases, (174-185)
  637. Akutsu T and Takasu A Inferring approximate functional dependencies from example data Proceedings of the 2nd International Conference on Knowledge Discovery in Databases, (138-152)
  638. ACM
    Beeri C and Milo T (1993). On the power of algebras with recursion, ACM SIGMOD Record, 22:2, (377-387), Online publication date: 1-Jun-1993.
  639. ACM
    Wang X, Jajodia S and Subrahmanian V (1993). Temporal modules, ACM SIGMOD Record, 22:2, (227-236), Online publication date: 1-Jun-1993.
  640. ACM
    Gupta A, Mumick I and Subrahmanian V (1993). Maintaining views incrementally, ACM SIGMOD Record, 22:2, (157-166), Online publication date: 1-Jun-1993.
  641. ACM
    Gupta A and Widom J (1993). Local verification of global integrity constraints in distributed databases, ACM SIGMOD Record, 22:2, (49-58), Online publication date: 1-Jun-1993.
  642. ACM
    Abiteboul S, Lausen G, Uphoff H and Waller E (1993). Methods and rules, ACM SIGMOD Record, 22:2, (32-41), Online publication date: 1-Jun-1993.
  643. ACM
    Beeri C and Milo T On the power of algebras with recursion Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (377-387)
  644. ACM
    Wang X, Jajodia S and Subrahmanian V Temporal modules Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (227-236)
  645. ACM
    Gupta A, Mumick I and Subrahmanian V Maintaining views incrementally Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (157-166)
  646. ACM
    Gupta A and Widom J Local verification of global integrity constraints in distributed databases Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (49-58)
  647. ACM
    Abiteboul S, Lausen G, Uphoff H and Waller E Methods and rules Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (32-41)
  648. ACM
    Feder T and Vardi M Monotone monadic SNP and constraint satisfaction Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing, (612-622)
  649. ACM
    Seyed-Abbassi B A SQL project as a learning method in a database course Proceedings of the 1993 conference on Computer personnel research, (291-297)
  650. ACM
    Chomicki J and Imieliński T (1993). Finite representation of infinite query answers, ACM Transactions on Database Systems, 18:2, (181-223), Online publication date: 1-Jun-1993.
  651. Adam N and Tewari R (1993). Regeneration with Virtual Copies for Distributed Computing Systems, IEEE Transactions on Software Engineering, 19:6, (594-602), Online publication date: 1-Jun-1993.
  652. Bhandari I and Roth N Post-process feedback with and without attribute focusing Proceedings of the 15th international conference on Software Engineering, (89-98)
  653. Schlimmer J (1993). Self-Modeling Databases, IEEE Expert: Intelligent Systems and Their Applications, 8:2, (35-43), Online publication date: 1-Apr-1993.
  654. ACM
    Seyed-Abbassi B Object oriented relational database with SQL interface Proceedings of the 1993 ACM conference on Computer science, (497-504)
  655. ACM
    Sheng E A decompositional approach to database constraint enforcement Proceedings of the 1993 ACM conference on Computer science, (489-496)
  656. ACM
    Motzkin D, Jarrett E, Hager D and Kerstetter M On concurrent execution of information systems applications Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (775-781)
  657. Han J, Cai Y and Cercone N (1993). Data-Driven Discovery of Quantitative Rules in Relational Databases, IEEE Transactions on Knowledge and Data Engineering, 5:1, (29-40), Online publication date: 1-Feb-1993.
  658. McLeod D and Yanover P (1992). On Intelligent Database Systems, International Journal of Intelligent Systems in Accounting and Finance Management, 1:4, (237-245), Online publication date: 1-Dec-1992.
  659. ACM
    Kamel N and King R (1992). Intelligent database caching through the use of page-answers and page-traces, ACM Transactions on Database Systems, 17:4, (601-646), Online publication date: 1-Dec-1992.
  660. ACM
    Taylor P and Wyatt D (1992). Database and artificial intelligence integration, ACM SIGCSE Bulletin, 24:4, (35-42), Online publication date: 1-Dec-1992.
  661. ACM
    Amann B and Scholl M Gram Proceedings of the ACM conference on Hypertext, (201-211)
  662. Noik E Challenges in graph-based relational data visualization Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1, (259-277)
  663. Barbará D, Garcia-Molina H and Porter D (1992). The Management of Probabilistic Data, IEEE Transactions on Knowledge and Data Engineering, 4:5, (487-502), Online publication date: 1-Oct-1992.
  664. Levene M and Loizou G (1992). Inferring null join dependencies in relational databases, BIT, 32:3, (413-429), Online publication date: 1-Sep-1992.
  665. Han J, Cai Y and Cercone N Knowledge Discovery in Databases Proceedings of the 18th International Conference on Very Large Data Bases, (547-559)
  666. Kramer M, Lausen G and Saake G Updates in a Rule-Based Language for Objects Proceedings of the 18th International Conference on Very Large Data Bases, (251-262)
  667. ACM
    Jakobsson H On tree-based techniques for query evaluation Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (380-392)
  668. ACM
    Morishita S Avoiding Cartesian products in programs for multiple joins (extended abstract) Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (368-379)
  669. ACM
    Gupta A and Mumick I Magic-sets transformation in nonrecursive systems Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (354-367)
  670. ACM
    van der Meyden R The complexity of querying indefinite data about linearly ordered domains Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (331-345)
  671. ACM
    Srivastava D and Ramakrishnan R Pushing constraint selections Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (301-315)
  672. ACM
    Ginsburg S and Wang X Pattern matching by Rs-operations Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (293-300)
  673. ACM
    Chan E Containment and minimization of positive conjunctive queries in OODB's Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (202-211)
  674. ACM
    Levy A and Sagiv Y Constraints and redundancy in datalog Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (67-80)
  675. ACM
    Chaudhuri S and Vardi M On the equivalence of recursive and nonrecursive datalog programs Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (55-66)
  676. ACM
    Greiner R Learning efficient query processing strategies Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (33-46)
  677. ACM
    Abiteboul S, Compton K and Vianu V Queries are easier than you thought (probably) Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (23-32)
  678. ACM
    Schmidt H Communicating control knowledge to a deductive database system Proceedings of the 1992 ACM annual conference on Communications, (439-446)
  679. ACM
    Manoharan A and Manoharan M Beyond Turing Proceedings of the 1992 ACM annual conference on Communications, (91-98)
  680. ACM
    Warren D (1992). Memoing for logic programs, Communications of the ACM, 35:3, (93-111), Online publication date: 1-Mar-1992.
  681. ACM
    Grant J and Minker J (1992). The impact of logic programming on databases, Communications of the ACM, 35:3, (66-81), Online publication date: 1-Mar-1992.
  682. Middelburg C (1992). Modular structuring of VDM specifications in VVSL, Formal Aspects of Computing, 4:1, (13-47), Online publication date: 1-Jan-1992.
  683. Han J and Liu L (1991). Efficient Evaluation of Multiple Linear Recursions, IEEE Transactions on Software Engineering, 17:12, (1241-1252), Online publication date: 1-Dec-1991.
  684. ACM
    Wang C, Tsou D, Wang R, Browne J and Mok A (1991). Automated analysis of bounded response time for two NASA expert systems, ACM SIGSOFT Software Engineering Notes, 16:5, (147-161), Online publication date: 1-Nov-1991.
  685. ACM
    Benson D and Zick G (1991). Symbolic and spatial database for structural biology, ACM SIGPLAN Notices, 26:11, (329-339), Online publication date: 1-Nov-1991.
  686. ACM
    Benson D and Zick G Symbolic and spatial database for structural biology Conference proceedings on Object-oriented programming systems, languages, and applications, (329-339)
  687. Gabbay D and McBrien P Temporal Logic & Historical Databases Proceedings of the 17th International Conference on Very Large Data Bases, (423-430)
  688. Poulovassilis A and Small C A Functional Programming Approach to Deductive Databases Proceedings of the 17th International Conference on Very Large Data Bases, (491-500)
  689. ACM
    Wang C, Tsou D, Wang R, Browne J and Mok A Automated analysis of bounded response time for two NASA expert systems Proceedings of the conference on Software for citical systems, (147-161)
  690. ACM
    Järvelin K and Niemi T 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, (173-182)
  691. Wolfson O, Sengupta S and Yemini Y (1991). Managing Communication Networks by Monitoring Databases, IEEE Transactions on Software Engineering, 17:9, (944-953), Online publication date: 1-Sep-1991.
  692. ACM
    Gaifman H, Maher M and Shapiro E Replay, recovery, replication, and snapshots of nondeterministic concurrent programs Proceedings of the tenth annual ACM symposium on Principles of distributed computing, (241-255)
  693. ACM
    Van Gelder A and Topor R (1991). Safety and translation of relational calculus, ACM Transactions on Database Systems, 16:2, (235-278), Online publication date: 1-May-1991.
  694. ACM
    da Silva R, Wood K and Beaman J 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, (73-86)
  695. ACM
    Huebner R The executive office of environmental affairs systems modernization project Proceedings of the 19th annual conference on Computer Science, (600-617)
  696. ACM
    Lanka S and Mays E (1991). Fully persistent B+-trees, ACM SIGMOD Record, 20:2, (426-435), Online publication date: 1-Apr-1991.
  697. ACM
    Güntzer U, Kießling W and Thöne H (1991). New direction for uncertainty reasoning in deductive databases, ACM SIGMOD Record, 20:2, (178-187), Online publication date: 1-Apr-1991.
  698. ACM
    Wolfson O, Dewan H, Stolfo S and Yemini Y (1991). Incremental evaluation of rules and its relationship to parallelism, ACM SIGMOD Record, 20:2, (78-87), Online publication date: 1-Apr-1991.
  699. ACM
    Sudarshan S, Srivastava D, Ramakrishnan R and Naughton J (1991). Space optimization in the bottom-up evaluation of logic programs, ACM SIGMOD Record, 20:2, (68-77), Online publication date: 1-Apr-1991.
  700. ACM
    Lanka S and Mays E Fully persistent B+-trees Proceedings of the 1991 ACM SIGMOD international conference on Management of data, (426-435)
  701. ACM
    Güntzer U, Kießling W and Thöne H New direction for uncertainty reasoning in deductive databases Proceedings of the 1991 ACM SIGMOD international conference on Management of data, (178-187)
  702. ACM
    Wolfson O, Dewan H, Stolfo S and Yemini Y Incremental evaluation of rules and its relationship to parallelism Proceedings of the 1991 ACM SIGMOD international conference on Management of data, (78-87)
  703. ACM
    Sudarshan S, Srivastava D, Ramakrishnan R and Naughton J Space optimization in the bottom-up evaluation of logic programs Proceedings of the 1991 ACM SIGMOD international conference on Management of data, (68-77)
  704. ACM
    Van den Bussche J and Paredaens J 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, (291-299)
  705. ACM
    Baudinet M, Niézette M and Wolper P 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, (280-290)
  706. ACM
    Seib J and Lausen G Parallelizing Datalog programs by generalized pivoting Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (241-251)
  707. ACM
    Ganguly S, Greco S and Zaniolo C Minimum and maximum predicates in logic programming Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (154-163)
  708. ACM
    Mumick I and Pirahesh H Overbound and right-linear queries Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (127-141)
  709. ACM
    Chaudhuri S Detecting redundant tuples during query evaluation Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (115-126)
  710. ACM
    Lakshmanan L and Hernández H 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, (102-114)
  711. ACM
    Ross K Modular acyclicity and tail recursion in logic programs Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (92-101)
  712. ACM
    Afrati F, Cosmadakis S and Yannakakis M On Datalog vs. polynomial time (extended abstract) Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (13-25)
  713. ACM
    Hillebrand G, Kanellakis P, Mairson H and Vardi M Tools for Datalog boundedness Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (1-12)
  714. ACM
    Uckan Y (1991). Integrating logic programming into a data base course: views as rules in deductive relational data bases, ACM SIGCSE Bulletin, 23:1, (184-191), Online publication date: 1-Mar-1991.
  715. ACM
    Uckan Y Integrating logic programming into a data base course: views as rules in deductive relational data bases Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (184-191)
  716. ACM
    Mendelzon A and Wood P (1991). Functional dependencies in Horn clause queries, ACM Transactions on Database Systems, 16:1, (31-55), Online publication date: 1-Mar-1991.
  717. Mays E, Lanka S, Dionne B and Weida R (1991). A Persistent Store for Large Shared Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, 3:1, (33-41), Online publication date: 1-Mar-1991.
  718. Miranker D and Lofaso B (1991). The Organization and Performance of a TREAT-Based Production System Compiler, IEEE Transactions on Knowledge and Data Engineering, 3:1, (3-10), Online publication date: 1-Mar-1991.
  719. Minsky N (1991). The Imposition of Protocols Over Open Distributed Systems, IEEE Transactions on Software Engineering, 17:2, (183-195), Online publication date: 1-Feb-1991.
  720. ACM
    Abiteboul S and Vianu V Generic Computation and its complexity Proceedings of the twenty-third annual ACM symposium on Theory of Computing, (209-219)
  721. ACM
    Sagiv Y (1991). Evaluation of queries in independent database schemes, Journal of the ACM, 38:1, (120-161), Online publication date: 3-Jan-1991.
  722. ACM
    Snodgrass R and Shannon K (1990). Fine grained data management to achieve evolution resilience in a software development environment, ACM SIGSOFT Software Engineering Notes, 15:6, (144-156), Online publication date: 1-Dec-1990.
  723. ACM
    Ullman J and Zaniolo C (1990). Deductive databases, ACM SIGMOD Record, 19:4, (75-82), Online publication date: 1-Dec-1990.
  724. Ramamoorthy C, Usuda Y, Prakash A and Tsai W (1990). The Evolution Support Environment System, IEEE Transactions on Software Engineering, 16:11, (1225-1234), Online publication date: 1-Nov-1990.
  725. ACM
    Snodgrass R and Shannon K Fine grained data management to achieve evolution resilience in a software development environment Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (144-156)
  726. ACM
    Wile D (1990). Adding relational abstraction to programming languages, ACM SIGSOFT Software Engineering Notes, 15:4, (128-139), Online publication date: 1-Sep-1990.
  727. ACM
    Zhang W, Yu C and Troy D (1990). Necessary and sufficient conditions to linearize doubly recursive programs in logic databases, ACM Transactions on Database Systems, 15:3, (459-482), Online publication date: 1-Sep-1990.
  728. Kuittinen J, Nurmi O, Sippu S and Soisalon-Soininen E Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries Proceedings of the 16th International Conference on Very Large Data Bases, (372-379)
  729. Kemp D, Ramamohanarao K and Somogyi Z Right-, left- and multi-linear rule transformations that maintain context information Proceedings of the 16th International Conference on Very Large Data Bases, (380-391)
  730. Tuzhilin A and Clifford J A Temporal Relational Algebra as Basis for Temporal Relational Completeness Proceedings of the 16th International Conference on Very Large Data Bases, (13-23)
  731. Qian X Synthesizing Database Transactions Proceedings of the 16th International Conference on Very Large Data Bases, (552-565)
  732. Hull R and Yoshikawa M ILOG Proceedings of the 16th International Conference on Very Large Data Bases, (455-468)
  733. Mumick I, Pirahesh H and Ramakrishnan R The Magic of Duplicates and Aggregates Proceedings of the 16th International Conference on Very Large Data Bases, (264-277)
  734. ACM
    Logan P, Hale C and Atkins J (1990). An academic relational algebra database management system, ACM SIGCSE Bulletin, 22:3, (25-28), Online publication date: 1-Aug-1990.
  735. ACM
    Cantone D and Cutello V A decidable fragment of the elementary theory of relations and some applications Proceedings of the international symposium on Symbolic and algebraic computation, (24-29)
  736. ACM
    Kiernan G, de Maindreville C and Simon E (1990). Making deductive databases a practical technology: a step forward, ACM SIGMOD Record, 19:2, (237-246), Online publication date: 1-May-1990.
  737. ACM
    Cacace F, Ceri S, Crespi-Reghizzi S, Tanca L and Zicari R (1990). Integrating object-oriented data modelling with a rule-based programming paradigm, ACM SIGMOD Record, 19:2, (225-236), Online publication date: 1-May-1990.
  738. ACM
    Laenens E, Sacca D and Vermeir D (1990). Extending logic programming, ACM SIGMOD Record, 19:2, (184-193), Online publication date: 1-May-1990.
  739. ACM
    Motro A and Yuan Q (1990). Querying database knowledge, ACM SIGMOD Record, 19:2, (173-183), Online publication date: 1-May-1990.
  740. ACM
    Ganguly S, Silberschatz A and Tsur S (1990). A framework for the parallel processing of Datalog queries, ACM SIGMOD Record, 19:2, (143-152), Online publication date: 1-May-1990.
  741. ACM
    Wolfson O and Ozeri A (1990). A new paradigm for parallel and distributed rule-processing, ACM SIGMOD Record, 19:2, (133-142), Online publication date: 1-May-1990.
  742. ACM
    Ullman J and Yannakakis M (1990). The input/output complexity of transitive closure, ACM SIGMOD Record, 19:2, (44-53), Online publication date: 1-May-1990.
  743. ACM
    Gyssens M, Paredaens J and Gucht D (1990). A graph-oriented object model for database end-user interfaces, ACM SIGMOD Record, 19:2, (24-33), Online publication date: 1-May-1990.
  744. ACM
    Kiernan G, de Maindreville C and Simon E Making deductive databases a practical technology: a step forward Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (237-246)
  745. ACM
    Cacace F, Ceri S, Crespi-Reghizzi S, Tanca L and Zicari R Integrating object-oriented data modelling with a rule-based programming paradigm Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (225-236)
  746. ACM
    Laenens E, Sacca D and Vermeir D Extending logic programming Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (184-193)
  747. ACM
    Motro A and Yuan Q Querying database knowledge Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (173-183)
  748. ACM
    Ganguly S, Silberschatz A and Tsur S A framework for the parallel processing of Datalog queries Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (143-152)
  749. ACM
    Wolfson O and Ozeri A A new paradigm for parallel and distributed rule-processing Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (133-142)
  750. ACM
    Ullman J and Yannakakis M The input/output complexity of transitive closure Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (44-53)
  751. ACM
    Gyssens M, Paredaens J and Gucht D A graph-oriented object model for database end-user interfaces Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (24-33)
  752. ACM
    Gyssens M, Paredaens J and van Gucht D A graph-oriented object database model Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (417-424)
  753. ACM
    Consens M and Mendelzon A GraphLog Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (404-416)
  754. ACM
    Chomicki J Polynomial time query processing in temporal deductive databases Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (379-391)
  755. ACM
    Mumick I, Finkelstein S, Pirahesh H and Ramakrishnan R Magic conditions Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (314-330)
  756. ACM
    Yannakakis M Graph-theoretic methods in database theory Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (230-242)
  757. ACM
    Abiteboul S, Simon E and Vianu V Non-deterministic languages to express deterministic transformations Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (218-229)
  758. ACM
    Willard D Quasilinear algorithms for processing relational calculus expressions (preliminary report) Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (243-257)
  759. ACM
    Ross K Modular stratification and magic sets for DATALOG programs with negation Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (161-171)
  760. ACM
    Elkan C Independence of logic database queries and update Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (154-160)
  761. ACM
    Plambeck T Semigroup techniques in recursive query optimization Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (145-153)
  762. ACM
    Tay Y On the optimality of strategies for multiple joins Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (124-131)
  763. ACM
    Kolaitis P and Vardi M On the expressive power of datalog Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (61-71)
  764. ACM
    Wile D Adding relational abstraction to programming languages Conference proceedings on Formal methods in software development, (128-139)
  765. ACM
    Keskin A Strategies for deductive databases Proceedings of the 28th annual Southeast regional conference, (296-305)
  766. Chimenti D, Gamboa R, Krishnamurthy R, Naqvi S, Tsur S and Zaniolo C (1990). The LDL System Prototype, IEEE Transactions on Knowledge and Data Engineering, 2:1, (76-90), Online publication date: 1-Mar-1990.
  767. ACM
    Ramakrishnan R Parallelism in logic programs Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (246-260)
  768. ACM
    Consens M and Mendelzon A Expressing structural hypertext queries in graphlog Proceedings of the second annual ACM conference on Hypertext, (269-292)
  769. ACM
    De Troyer O RIDL*: a tool for the computer-assisted engineering of large databases in the presence of integrity constraints Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (418-429)
  770. ACM
    Gyssens M, Paredaens J and van Gucht D A grammar-based approach towards unifying hierarchical data models Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (263-272)
  771. ACM
    Chomicki J and Imieliński T Relational specifications of infinite query answers Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (174-183)
  772. ACM
    Abiteboul S and Kanellakis P Object identity as a query language primitive Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (159-173)
  773. ACM
    Hull R and Su J On accessing object-oriented databases: expressive power, complexity, and restrictions Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (147-158)
  774. ACM
    De Troyer O (1989). RIDL*: a tool for the computer-assisted engineering of large databases in the presence of integrity constraints, ACM SIGMOD Record, 18:2, (418-429), Online publication date: 1-Jun-1989.
  775. ACM
    Gyssens M, Paredaens J and van Gucht D (1989). A grammar-based approach towards unifying hierarchical data models, ACM SIGMOD Record, 18:2, (263-272), Online publication date: 1-Jun-1989.
  776. ACM
    Chomicki J and Imieliński T (1989). Relational specifications of infinite query answers, ACM SIGMOD Record, 18:2, (174-183), Online publication date: 1-Jun-1989.
  777. ACM
    Abiteboul S and Kanellakis P (1989). Object identity as a query language primitive, ACM SIGMOD Record, 18:2, (159-173), Online publication date: 1-Jun-1989.
  778. ACM
    Hull R and Su J (1989). On accessing object-oriented databases: expressive power, complexity, and restrictions, ACM SIGMOD Record, 18:2, (147-158), Online publication date: 1-Jun-1989.
  779. ACM
    Kifer M and Wu J A logic for object-oriented logic programming Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (379-393)
  780. ACM
    Kedem Z and Tuzhilin A Relational database behavior: utilizing relational discrete event systems and models Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (336-346)
  781. ACM
    Lakshmanan V and Mendelzon A Inductive pebble games and the expressive power of datalog Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (301-310)
  782. ACM
    Ramakrishnan R, Sagiv Y, Ullman J and Vardi M Proof-tree transformation theorems and their applications Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (172-181)
  783. ACM
    Sagiv Y and Vardi M Safety of datalog queries over infinite databases Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (160-171)
  784. ACM
    Ullman J Bottom-up beats top-down for datalog Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (140-149)
  785. ACM
    Manchanda S Declarative expression of deductive database updates Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (93-100)
  786. ACM
    Naughton J (1988). Compiling separable recursions, ACM SIGMOD Record, 17:3, (312-319), Online publication date: 1-Jun-1988.
  787. ACM
    Naughton J Compiling separable recursions Proceedings of the 1988 ACM SIGMOD international conference on Management of data, (312-319)
Contributors
  • Stanford University

Reviews

Krishnarao Gururao Kulkarni

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 in this volume is concerned with classical database systems, although one chapter is devoted to describing some aspects of so-called knowledge-base systems (KBS). Another welcome addition to this volume is the clear discussion of the emerging area of object-oriented database management systems (OO-DBMS). As in his earlier book, the author emphasizes theory, particularly the relational theory and first-order predicate logic. The book is divided into ten chapters. The first chapter provides the usual introductory material on database systems and includes an excellent introduction to both OO-DBMSs and KBSs. The author describes KBSs as “systems implementing logic, in one or another form, as a programming language” and OO-DBMSs as “systems supporting object identity, abstract data types or classes and type hierarchy.” Chapter 2 discusses the three classical data models (relational, network, and hierarchical) and a typical object-oriented model. Chapter 3, which provides a good introduction to logic programming, discusses data models that use first-order logic as a way to represent knowledge. This chapter begins by considering the meaning of logical rules. The author mentions three ways of interpreting logic programs: proof-theoretic, model-theoretic, and computational. His comparison of these three approaches would have been better if he had used examples. This chapter also covers the evaluation of rules (both nonrecursive and recursive), negation handling in rule bodies, and the impact of the closed-world assumption. Much of this discussion employs “datalog,” a restricted version of Prolog developed by the author. Chapter 4 covers the query languages associated with relational systems. SQL, which has recently been accepted as an ANSI standard, is discussed in greater detail than in the previous editions. Chapter 5 discusses data definition and manipulation languages associated with network (DBTG) and hierarchical (IMS) systems, as well as the OO-language associated with Gemstone, a commercial OO-DBMS. I find it strange that the author describes the language associated with the DBTG and IMS systems as object-oriented. Though he explains his reasons, the characterization is potentially controversial. The remaining five chapters deal with physical data organization, the design theory of relational databases, integrity and security aspects, transaction management, and distributed database management. The second volume is expected to cover query optimization techniques (for both classical database systems and KBSs) and “universal relation” systems. While the material on KBSs and OO-DBMSs is new, the rest of the material in this volume has been taken almost verbatim from the earlier book. Each chapter includes a good set of exercises and bibliographic notes. The notes have been extensively revised to include more recent publications. The book's major strength is the way it handles data models, languages, and relational design theory. Though the tone is rather formal, the material is clear and easy to understand. The same cannot be said about the material on physical data organization and transaction management. Some recent publications [3,4] cover these aspects much more clearly than this work does. The book also lacks a clear discussion of the shortcomings of the value-based (relational and logic-based) data models. Though it is true that value orientation leads to declarative languages, which have the advantage of extensive query optimization, value-based data models are forced to depend on user-defined identifier keys in order to establish the identity of an object. The problems with this approach have been well documented by Khoshafian and Copeland [5]. Indeed, much of the interest in object-oriented data models has come about as a response to this important shortcoming in relational systems. In conclusion, this book is well written and up to date, and it will be especially valuable in new areas like KBSs and OO-DBMSs. It would make an excellent text for a senior or graduate-level course.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Recommendations

-