Abstract
No abstract available.
Cited By
- 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)
- 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.
- 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.
- 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.
- 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.
- 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)
- Atre M The Case of SPARQL UNION, FILTER and DISTINCT Proceedings of the ACM Web Conference 2022, (1882-1892)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- Benedikt M (2018). Logic-based Perspectives on Query Reformulationover Restricted Interfaces, ACM SIGMOD Record, 47:2, (5-16), Online publication date: 11-Dec-2018.
- 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.
- Fungwacharakorn W and Satoh K Legal Debugging in Propositional Legal Representation New Frontiers in Artificial Intelligence, (146-159)
- 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)
- Rebele T, Tanon T and Suchanek F Bash Datalog: Answering Datalog Queries with Unix Shell Commands The Semantic Web – ISWC 2018, (566-582)
- 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.
- Truszczynski M An introduction to the stable and well-founded semantics of logic programs Declarative Logic Programming, (121-177)
- 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.
- 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)
- 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.
- 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.
- 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)
- 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.
- 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.
- Zhao K and Yu J All-in-One Proceedings of the 2017 ACM International Conference on Management of Data, (1165-1180)
- 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)
- 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.
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- Caroprese L and Zumpano E A Deterministic Model for P2P Deductive Databases Proceedings of the 20th International Database Engineering & Applications Symposium, (193-198)
- 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.
- 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.
- Cao Y and Fan W An Effective Syntax for Bounded Relational Queries Proceedings of the 2016 International Conference on Management of Data, (599-614)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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)
- 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)
- 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)
- Gonçalves B and Porto F (2014). γ-DB, Proceedings of the VLDB Endowment, 7:11, (959-962), Online publication date: 1-Jul-2014.
- 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)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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.
- Ritter D The business network data management platform Proceedings of the 29th British National conference on Big Data, (218-227)
- 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)
- 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)
- Singh V, Gao M and Jain R Situation recognition Proceedings of the 20th ACM international conference on Multimedia, (1209-1218)
- 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)
- Caroprese L and Zumpano E Restoring consistency in p2p deductive databases Proceedings of the 6th international conference on Scalable Uncertainty Management, (168-179)
- 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)
- 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)
- Ritter D and Westmann T Business network reconstruction using datalog Proceedings of the Second international conference on Datalog in Academia and Industry, (148-152)
- 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.
- 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)
- Meliou A and Suciu D Tiresias Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data, (337-348)
- 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.
- 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)
- Link S Armstrong databases Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130, (3-22)
- Faber W, Leone N and Perri S The intelligent grounder of DLV Correct Reasoning, (247-264)
- 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.
- 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)
- Laurent D and Spyratos N Rewriting aggregate queries using functional dependencies Proceedings of the International Conference on Management of Emergent Digital EcoSystems, (40-47)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- Lavín Puente V (2011). On learning multivalued dependencies with queries, Theoretical Computer Science, 412:22, (2331-2339), Online publication date: 1-May-2011.
- Gebser M, Kaminski R, Kaufmann B and Schaub T Challenges in answer set solving Logic programming, knowledge representation, and nonmonotonic reasoning, (74-90)
- 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)
- Paulley G and Larson P Exploiting uniqueness in query optimization CASCON First Decade High Impact Papers, (127-145)
- Singh V, Gao M and Jain R Social pixels Proceedings of the 18th ACM international conference on Multimedia, (481-490)
- 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)
- 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.
- 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)
- 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)
- 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.
- 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)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- Schweikardt N, Schwentick T and Segoufin L Database theory Algorithms and theory of computation handbook, (19-19)
- Greco S and Lisi F Logic programming languages for databases and the web A 25-year perspective on logic programming, (183-203)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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.
- 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)
- Gillis J and Van den Bussche J Induction of relational algebra expressions Proceedings of the 19th international conference on Inductive logic programming, (25-33)
- 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)
- 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.
- 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)
- 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.
- Liang S, Fodor P, Wan H and Kifer M OpenRuleBench Proceedings of the 18th international conference on World wide web, (601-610)
- 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)
- Calì A, Gottlob G and Lukasiewicz T Datalog± Proceedings of the 12th International Conference on Database Theory, (14-30)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Eiter T, Ianni G, Krennwallner T and Polleres A Rules and Ontologies for the Semantic Web Reasoning Web, (1-53)
- 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.
- 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)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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.
- Avron A A framework for formalizing set theories based on the use of static set terms Pillars of computer science, (87-106)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- Sofronie-Stokkermans V Hierarchical and Modular Reasoning in Complex Theories Proceedings of the 6th international symposium on Frontiers of Combining Systems, (47-71)
- 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.
- 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.
- Anderson S and Revesz P CDB-PV Proceedings of the 7th International conference on Abstraction, reformulation, and approximation, (35-49)
- Pelzer B and Wernhard C System Description Proceedings of the 21st international conference on Automated Deduction: Automated Deduction, (508-513)
- Bogudlov I, Lev-Ami T, Reps T and Sagiv M Revamping TVLA Proceedings of the 19th international conference on Computer aided verification, (221-225)
- 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)
- 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)
- 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)
- 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)
- Field J, Marinescu M and Stefansen C Reactors Proceedings of the 9th international conference on Coordination models and languages, (76-95)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- Peters J Near sets Proceedings of the 2nd international conference on Rough sets and knowledge technology, (22-33)
- 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)
- Polleres A From SPARQL to rules (and back) Proceedings of the 16th international conference on World Wide Web, (787-796)
- 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)
- Peters J (2007). Near Sets. Special Theory about Nearness of Objects, Fundamenta Informaticae, 75:1-4, (407-433), Online publication date: 1-Jan-2007.
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- Silva A and Visser J Strong types for relational databases Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, (25-36)
- Straccia U Towards top-k query answering in description logics Proceedings of the 10th European conference on Logics in Artificial Intelligence, (439-451)
- 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)
- 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)
- 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)
- 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)
- 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)
- Cohen S User-defined aggregate functions Proceedings of the 2006 ACM SIGMOD international conference on Management of data, (49-60)
- Wijsen J Project-Join-Repair Proceedings of the 7th international conference on Flexible Query Answering Systems, (1-12)
- 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.
- Patel-Schneider P and Horrocks I Position paper Proceedings of the 15th international conference on World Wide Web, (3-12)
- Whitehead N A certified distributed security logic for authorizing code Proceedings of the 2006 international conference on Types for proofs and programs, (253-268)
- 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.
- Harth A Interoperation between information spaces on the web Proceedings of the 2006 international conference on Current Trends in Database Technology, (44-53)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Toland T, Farkas C and Eastman C Dynamic disclosure monitor (DMon) Proceedings of the Second VDLB international conference on Secure Data Management, (124-142)
- Scarcello F (2005). Query answering exploiting structural properties, ACM SIGMOD Record, 34:3, (91-99), Online publication date: 1-Sep-2005.
- Junkkari M (2005). PSE, Journal of Intelligent Information Systems, 25:2, (131-157), Online publication date: 1-Sep-2005.
- 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)
- Badia A and Kantardzic M Graph building as a mining activity Proceedings of the 3rd international workshop on Link discovery, (17-24)
- 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)
- Constantin C, Gross-Amblard D and Guerrouani M Watermill Proceedings of the 7th workshop on Multimedia and security, (143-155)
- 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)
- 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)
- 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)
- 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.
- Necib C and Freytag J Query processing using ontologies Proceedings of the 17th international conference on Advanced Information Systems Engineering, (167-186)
- Gottlob G Computing cores for data exchange Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (148-159)
- Paige R (2005). An NSF Proposal, Higher-Order and Symbolic Computation, 18:1-2, (211-235), Online publication date: 1-Jun-2005.
- Knobbe A Multi-Relational Data Mining Proceedings of the 2005 conference on Multi-Relational Data Mining, (1-118)
- 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.
- 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)
- 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.
- Nottelmann H PIRE Proceedings of the 27th European conference on Advances in Information Retrieval Research, (260-274)
- Bry F and Pǎtrânjan P Reactivity on the web Proceedings of the 2005 ACM symposium on Applied computing, (1645-1649)
- Cohen S (2005). Containment of aggregate queries, ACM SIGMOD Record, 34:1, (77-85), Online publication date: 1-Mar-2005.
- 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)
- 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.
- Hafenrichter B and Kießling W Optimization of relational preference queries Proceedings of the 16th Australasian database conference - Volume 39, (175-184)
- 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)
- 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.
- 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)
- Ra Y Relational schema evolution for program independency Proceedings of the 7th international conference on Intelligent Information Technology, (273-281)
- 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.
- 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.
- 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.
- 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.
- Robertson E Triadic relations Proceedings of the Second international conference on Semantic Web and Databases, (91-108)
- Ross K and Janevski A Querying faceted databases Proceedings of the Second international conference on Semantic Web and Databases, (199-218)
- 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)
- 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)
- 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.
- Fern A and Givan R Relational sequential inference with reliable observations Proceedings of the twenty-first international conference on Machine learning
- Carreira P and Galhardas H Execution of data mappers Proceedings of the 2004 international workshop on Information quality in information systems, (2-9)
- 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)
- 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)
- 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.
- 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)
- Gottlob G and Koch C (2004). Logic-based web information extraction, ACM SIGMOD Record, 33:2, (87-94), Online publication date: 1-Jun-2004.
- 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.
- 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.
- 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)
- 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)
- King R (2004). Applying Inductive Logic Programming to Predicting Gene Function, AI Magazine, 25:1, (57-68), Online publication date: 1-Mar-2004.
- 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.
- 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.
- 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.
- 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.
- Frasincar F, Houben G, Vdovjak R and Barna P (2004). RAL, World Wide Web, 7:1, (83-109), Online publication date: 1-Mar-2004.
- Bertossi L and Bravo L Consistent query answers in virtual data integration systems Inconsistency Tolerance, (42-83)
- Arenas M, Fan W and Libkin L Consistency of XML specifications Inconsistency Tolerance, (15-41)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- Kolaitis P Constraint satisfaction, databases, and logic Proceedings of the 18th international joint conference on Artificial intelligence, (1587-1595)
- Džeroski S (2003). Multi-relational data mining, ACM SIGKDD Explorations Newsletter, 5:1, (1-16), Online publication date: 1-Jul-2003.
- 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.
- 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.
- Martin T ASK Proceedings of the 2003 joint international conference on Artificial neural networks and neural information processing, (917-924)
- Besson F and Jensen T Modular class analysis with DATALOG Proceedings of the 10th international conference on Static analysis, (19-36)
- 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)
- 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)
- 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.
- 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.
- Grosof B, Horrocks I, Volz R and Decker S Description logic programs Proceedings of the 12th international conference on World Wide Web, (48-57)
- 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.
- 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.
- Liu M (2003). Extending Datalog with Declarative Updates, Journal of Intelligent Information Systems, 20:2, (107-129), Online publication date: 1-Mar-2003.
- 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.
- 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.
- 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.
- Pourabbas E Cooperation with geographic databases Multidimensional databases, (393-432)
- Baader F, Calvanese D, McGuinness D, Nardi D and Patel-Schneider P Bibliography The description logic handbook, (496-545)
- Minker J Deductive database Encyclopedia of Computer Science, (528-531)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- Agrawal R, Kiernan J, Srikant R and Xu Y Hippocratic databases Proceedings of the 28th international conference on Very Large Data Bases, (143-154)
- 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)
- 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.
- 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.
- 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.
- Ramanan P Efficient algorithms for minimizing tree pattern queries Proceedings of the 2002 ACM SIGMOD international conference on Management of data, (299-309)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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)
- Codish M and Søndergaard H Meta-circular abstract interpretation in prolog The essence of computation, (109-134)
- Džeroski S Data mining tasks and methods: Rule discovery Handbook of data mining and knowledge discovery, (348-353)
- Klösgen W Types and forms of data Handbook of data mining and knowledge discovery, (33-44)
- Frasincar F, Houben G and Pau C (2002). XAL, Australian Computer Science Communications, 24:2, (49-56), Online publication date: 1-Jan-2002.
- Frasincar F, Houben G and Pau C XAL Proceedings of the 13th Australasian database conference - Volume 5, (49-56)
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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.
- 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)
- An introduction to inductive logic programming Relational Data Mining, (48-71)
- Fayyad U Knowledge discovery in databases Relational Data Mining, (28-45)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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.
- Fuhr N Models in information retrieval Lectures on information retrieval, (21-50)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- Kim S and Won H Batch-construction of B+-trees Proceedings of the 2001 ACM symposium on Applied computing, (231-235)
- Mitra P An algorithm for answering queries efficiently using views Proceedings of the 12th Australasian database conference, (99-106)
- 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.
- Nagappan R A graph-based model for navigating visualisation Selected papers from the Pan-Sydney workshop on Visualisation - Volume 2, (17-21)
- Greco S and Zumpano E Querying inconsistent databases Proceedings of the 7th international conference on Logic for programming and automated reasoning, (308-325)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- Wong L (2000). The functional guts of the Kleisli query system, ACM SIGPLAN Notices, 35:9, (1-10), Online publication date: 1-Sep-2000.
- Valiant L (2000). A neuroidal architecture for cognitive computation, Journal of the ACM, 47:5, (854-882), Online publication date: 1-Sep-2000.
- Wong L The functional guts of the Kleisli query system Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, (1-10)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- 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.
- 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)
- 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.
- Dalkilic M and Roberston E Information dependencies Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (245-253)
- 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)
- Vardi M Constraint satisfaction and database theory Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (76-85)
- 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)
- 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.
- 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.
- 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.
- Goh C, Aisaka K, Tsukamoto M and Nishio S Database compression with data mining methods Information organization and databases, (177-190)
- Suciu D Semistructured data and XML Information organization and databases, (9-30)
- 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
- Tanzer D and Shasha D Queryable acyclic production systems Proceedings of the eighth international conference on Information and knowledge management, (284-291)
- 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)
- Nørvåg K The Persistent Cache Proceedings of the 25th International Conference on Very Large Data Bases, (66-77)
- Luong V Between Well-Founded Semantics and Stable Model Semantics Proceedings of the 1999 International Symposium on Database Engineering & Applications
- Ng W Lexicographically Ordered Functional Dependencies and Their Application to Temporal Relations Proceedings of the 1999 International Symposium on Database Engineering & Applications
- Ng K and Muntz R Parallelizing User-Defined Functions in Distributed Object-Relational DBMS Proceedings of the 1999 International Symposium on Database Engineering & Applications
- 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)
- 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)
- Halpern J and Meyden R A Logic for SDSI's Linked Local Name Spaces Proceedings of the 12th IEEE workshop on Computer Security Foundations
- 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
- Papakonstantinou Y and Vassalos V Query rewriting for semistructured data Proceedings of the 1999 ACM SIGMOD international conference on Management of data, (455-466)
- 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)
- Papakonstantinou Y and Vassalos V (1999). Query rewriting for semistructured data, ACM SIGMOD Record, 28:2, (455-466), Online publication date: 1-Jun-1999.
- 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.
- Beringer D, Melloul L and Wiederhold G A reuse and composition protocol for services Proceedings of the 1999 symposium on Software reusability, (54-61)
- Anderson K Supporting industrial hyperwebs Proceedings of the 21st international conference on Software engineering, (573-582)
- 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)
- Cosmadakis S Inherent complexity of recursive queries Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (148-154)
- 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)
- 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)
- Abiteboul S On views and XML Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (1-9)
- Badia A (1999). Cooperative Query Answering with GeneralizedQuantifiers, Journal of Intelligent Information Systems, 12:1, (75-97), Online publication date: 1-Apr-1999.
- 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.
- Wijsen J (1999). Temporal FDs on complex objects, ACM Transactions on Database Systems, 24:1, (127-176), Online publication date: 1-Mar-1999.
- 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.
- 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.
- 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.
- 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.
- 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)
- Greco S (1998). Non-determinism and weak constraints in Datalog, New Generation Computing, 16:4, (373-395), Online publication date: 1-Dec-1998.
- 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)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- Bertossi L, Arenas M and Ferretti C (1998). SCDBR, Journal of Intelligent Information Systems, 10:3, (253-280), Online publication date: 1-Jun-1998.
- 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.
- 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.
- Chang C and Garcia-Molina H Conjunctive constraint mapping for data translation Proceedings of the third ACM conference on Digital libraries, (49-58)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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.
- Li Q and Lochovsky F (1998). ADOME, IEEE Transactions on Knowledge and Data Engineering, 10:2, (255-276), Online publication date: 1-Mar-1998.
- 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)
- 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)
- 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.
- Huyn N (1998). Maintaining Global Integrity Constraints in DistributedDatabases, Constraints, 2:3/4, (377-399), Online publication date: 1-Jan-1998.
- 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.
- 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.
- 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)
- 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)
- 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.
- 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.
- van Emden M (1997). Value Constraints in the CLP Scheme, Constraints, 2:2, (163-183), Online publication date: 1-Oct-1997.
- 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.
- 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.
- Harrison J, Berglas A and Peake I Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology Proceedings of the Australian Software Engineering Conference
- 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.
- Huyn N Multiple-View Self-Maintenance in Data Warehousing Environments Proceedings of the 23rd International Conference on Very Large Data Bases, (26-35)
- Kotlyar V and Pingali K Sparse code generation for imperfectly nested loops with dependences Proceedings of the 11th international conference on Supercomputing, (188-195)
- 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.
- 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
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- Hull R Managing semantic heterogeneity in databases Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (51-61)
- 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)
- 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)
- 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)
- Tansel A (1997). Temporal Relational Data Model, IEEE Transactions on Knowledge and Data Engineering, 9:3, (464-479), Online publication date: 1-May-1997.
- 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.
- 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.
- 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.
- 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.
- Morishita S (1997). Avoiding Cartesian products for multiple joins, Journal of the ACM, 44:1, (57-85), Online publication date: 15-Jan-1997.
- 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.
- 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)
- 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.
- 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.
- 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.
- Greco S Optimal unification of bound simple set-terms Proceedings of the fifth international conference on Information and knowledge management, (326-336)
- 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)
- 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)
- 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)
- 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)
- 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)
- Staudt M and Jarke M Incremental Maintenance of Externally Materialized Views Proceedings of the 22th International Conference on Very Large Data Bases, (75-86)
- 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)
- Levy A Obtaining Complete Answers from Incomplete Databases Proceedings of the 22th International Conference on Very Large Data Bases, (402-412)
- 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)
- Kwok C and Weld D Planning to gather inforrnation Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1, (32-39)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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.
- Ross K (1996). Tail recursion elimination in deductive databases, ACM Transactions on Database Systems, 21:2, (208-237), Online publication date: 1-Jun-1996.
- 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.
- 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.
- Weld D Planning-based control of software agents Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (268-274)
- Pan S and Dromey R Beyond structured programming Proceedings of the 18th international conference on Software engineering, (268-277)
- 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.
- 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.
- Delugach H and Hinke T (1996). Wizard, IEEE Transactions on Knowledge and Data Engineering, 8:1, (56-66), Online publication date: 1-Feb-1996.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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.
- 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.
- Han J (1995). Program Partition and Logic Program Analysis, IEEE Transactions on Software Engineering, 21:12, (959-968), Online publication date: 1-Dec-1995.
- 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.
- 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.
- 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.
- John G Robust decision trees Proceedings of the First International Conference on Knowledge Discovery and Data Mining, (174-179)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- Harel D (1995). Will I be pretty, will I be rich?, ACM SIGACT News, 26:2, (21-25), Online publication date: 1-Jun-1995.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Ross K Structural totality and constraint stratification Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (184-195)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- Prastowo B Toward automation of generating incremental computation mechanisms Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
- Eigler F Translating GraphLog to SQL Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
- 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)
- 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)
- Sripada S and Wüthrich B Cumulative Updates Proceedings of the 20th International Conference on Very Large Data Bases, (534-545)
- 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)
- Nayak P Representing multiple theories Proceedings of the Twelfth AAAI National Conference on Artificial Intelligence, (1154-1160)
- 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.
- Cohen D, Goldman N and Narayanaswamy K Adding performance information to ADT interfaces Proceedings of the Workshop on Interface Definition Languages, (84-93)
- 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.
- 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.
- 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.
- 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)
- 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)
- Hellerstein J (1994). Practical predicate placement, ACM SIGMOD Record, 23:2, (325-335), Online publication date: 1-Jun-1994.
- 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.
- Hellerstein J Practical predicate placement Proceedings of the 1994 ACM SIGMOD international conference on Management of data, (325-335)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- Johnson M (1994). Computing with features as formulae, Computational Linguistics, 20:1, (1-25), Online publication date: 1-Mar-1994.
- 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.
- 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.
- 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.
- 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)
- 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)
- Hsu C and Knoblock C Reformulating query plans for multidatabase systems Proceedings of the second international conference on Information and knowledge management, (423-432)
- Saraiya Y Projection-propagation in complex-object query languages Proceedings of the second international conference on Information and knowledge management, (413-422)
- Devanbu P Translating description logics to information server queries Proceedings of the second international conference on Information and knowledge management, (256-263)
- Harrison J Active rules in deductive databases Proceedings of the second international conference on Information and knowledge management, (174-183)
- Qian X (1993). The deductive synthesis of database transactions, ACM Transactions on Database Systems, 18:4, (626-677), Online publication date: 1-Dec-1993.
- 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.
- 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)
- Crawford D (1993). Technical correspondence, Communications of the ACM, 36:10, (19), Online publication date: 1-Oct-1993.
- 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.
- 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.
- 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.
- 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.
- 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)
- Levy A and Sagiv Y Queries Independent of Updates Proceedings of the 19th International Conference on Very Large Data Bases, (171-181)
- 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)
- 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)
- 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)
- 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)
- 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)
- Chaudhuri S Finding nonrecursive envelopes for Datalog predicate Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (135-146)
- 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)
- 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)
- 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)
- Hsu C and Knoblock C Learning database abstractions for query reformulation Proceedings of the 2nd International Conference on Knowledge Discovery in Databases, (276-290)
- 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)
- 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)
- 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.
- Wang X, Jajodia S and Subrahmanian V (1993). Temporal modules, ACM SIGMOD Record, 22:2, (227-236), Online publication date: 1-Jun-1993.
- Gupta A, Mumick I and Subrahmanian V (1993). Maintaining views incrementally, ACM SIGMOD Record, 22:2, (157-166), Online publication date: 1-Jun-1993.
- 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.
- 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.
- 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)
- Wang X, Jajodia S and Subrahmanian V Temporal modules Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (227-236)
- Gupta A, Mumick I and Subrahmanian V Maintaining views incrementally Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (157-166)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- Bhandari I and Roth N Post-process feedback with and without attribute focusing Proceedings of the 15th international conference on Software Engineering, (89-98)
- Schlimmer J (1993). Self-Modeling Databases, IEEE Expert: Intelligent Systems and Their Applications, 8:2, (35-43), Online publication date: 1-Apr-1993.
- Seyed-Abbassi B Object oriented relational database with SQL interface Proceedings of the 1993 ACM conference on Computer science, (497-504)
- Sheng E A decompositional approach to database constraint enforcement Proceedings of the 1993 ACM conference on Computer science, (489-496)
- 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)
- 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.
- 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.
- 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.
- Taylor P and Wyatt D (1992). Database and artificial intelligence integration, ACM SIGCSE Bulletin, 24:4, (35-42), Online publication date: 1-Dec-1992.
- Amann B and Scholl M Gram Proceedings of the ACM conference on Hypertext, (201-211)
- 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)
- 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.
- Levene M and Loizou G (1992). Inferring null join dependencies in relational databases, BIT, 32:3, (413-429), Online publication date: 1-Sep-1992.
- Han J, Cai Y and Cercone N Knowledge Discovery in Databases Proceedings of the 18th International Conference on Very Large Data Bases, (547-559)
- 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)
- 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)
- 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)
- 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)
- 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)
- Srivastava D and Ramakrishnan R Pushing constraint selections Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (301-315)
- 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)
- 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)
- 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)
- 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)
- Greiner R Learning efficient query processing strategies Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (33-46)
- 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)
- Schmidt H Communicating control knowledge to a deductive database system Proceedings of the 1992 ACM annual conference on Communications, (439-446)
- Manoharan A and Manoharan M Beyond Turing Proceedings of the 1992 ACM annual conference on Communications, (91-98)
- Warren D (1992). Memoing for logic programs, Communications of the ACM, 35:3, (93-111), Online publication date: 1-Mar-1992.
- 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.
- Middelburg C (1992). Modular structuring of VDM specifications in VVSL, Formal Aspects of Computing, 4:1, (13-47), Online publication date: 1-Jan-1992.
- 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.
- 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.
- 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.
- Benson D and Zick G Symbolic and spatial database for structural biology Conference proceedings on Object-oriented programming systems, languages, and applications, (329-339)
- Gabbay D and McBrien P Temporal Logic & Historical Databases Proceedings of the 17th International Conference on Very Large Data Bases, (423-430)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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)
- Huebner R The executive office of environmental affairs systems modernization project Proceedings of the 19th annual conference on Computer Science, (600-617)
- Lanka S and Mays E (1991). Fully persistent B+-trees, ACM SIGMOD Record, 20:2, (426-435), Online publication date: 1-Apr-1991.
- 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.
- 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.
- 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.
- Lanka S and Mays E Fully persistent B+-trees Proceedings of the 1991 ACM SIGMOD international conference on Management of data, (426-435)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Chaudhuri S Detecting redundant tuples during query evaluation Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (115-126)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- Abiteboul S and Vianu V Generic Computation and its complexity Proceedings of the twenty-third annual ACM symposium on Theory of Computing, (209-219)
- Sagiv Y (1991). Evaluation of queries in independent database schemes, Journal of the ACM, 38:1, (120-161), Online publication date: 3-Jan-1991.
- 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.
- Ullman J and Zaniolo C (1990). Deductive databases, ACM SIGMOD Record, 19:4, (75-82), Online publication date: 1-Dec-1990.
- 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.
- 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)
- Wile D (1990). Adding relational abstraction to programming languages, ACM SIGSOFT Software Engineering Notes, 15:4, (128-139), Online publication date: 1-Sep-1990.
- 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.
- 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)
- 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)
- 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)
- Qian X Synthesizing Database Transactions Proceedings of the 16th International Conference on Very Large Data Bases, (552-565)
- Hull R and Yoshikawa M ILOG Proceedings of the 16th International Conference on Very Large Data Bases, (455-468)
- 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)
- 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.
- 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)
- 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.
- 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.
- Laenens E, Sacca D and Vermeir D (1990). Extending logic programming, ACM SIGMOD Record, 19:2, (184-193), Online publication date: 1-May-1990.
- Motro A and Yuan Q (1990). Querying database knowledge, ACM SIGMOD Record, 19:2, (173-183), Online publication date: 1-May-1990.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- Laenens E, Sacca D and Vermeir D Extending logic programming Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (184-193)
- Motro A and Yuan Q Querying database knowledge Proceedings of the 1990 ACM SIGMOD international conference on Management of data, (173-183)
- 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)
- 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)
- 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)
- 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)
- 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)
- Consens M and Mendelzon A GraphLog Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (404-416)
- 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)
- 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)
- Yannakakis M Graph-theoretic methods in database theory Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (230-242)
- 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)
- 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)
- 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)
- 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)
- Plambeck T Semigroup techniques in recursive query optimization Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (145-153)
- 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)
- 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)
- Wile D Adding relational abstraction to programming languages Conference proceedings on Formal methods in software development, (128-139)
- Keskin A Strategies for deductive databases Proceedings of the 28th annual Southeast regional conference, (296-305)
- 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.
- Ramakrishnan R Parallelism in logic programs Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (246-260)
- Consens M and Mendelzon A Expressing structural hypertext queries in graphlog Proceedings of the second annual ACM conference on Hypertext, (269-292)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Manchanda S Declarative expression of deductive database updates Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (93-100)
- Naughton J (1988). Compiling separable recursions, ACM SIGMOD Record, 17:3, (312-319), Online publication date: 1-Jun-1988.
- Naughton J Compiling separable recursions Proceedings of the 1988 ACM SIGMOD international conference on Management of data, (312-319)
Index Terms
- Principles of database and knowledge-base systems, Vol. I