Skip header Section
Skip Bibliometrics Section
Principles of Database and Knowledge-Base Systems: Volume II: The New TechnologiesNovember 1990
- Author:
- Jeffrey D. Ullman
Abstract
No abstract available.
Cited By
- Kokel H, Lee J, Katz M, Srinivas K and Sohrabi S Action space reduction for planning domains Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, (5394-5401)
- Dewoprabowo R, Fichte J, Gorczyca P and Hecher M A Practical Account into Counting Dung’s Extensions by Dynamic Programming Logic Programming and Nonmonotonic Reasoning, (387-400)
- Jozashoori S and Vidal M MapSDI: A Scaled-Up Semantic Data Integration Framework for Knowledge Graph Creation On the Move to Meaningful Internet Systems: OTM 2019 Conferences, (58-75)
Lu Y, Kandula S and Chaudhuri S Interactive Demonstration of Probabilistic Predicates Proceedings of the 2018 International Conference on Management of Data, (1669-1672)- Lu Y, Chowdhery A, Kandula S and Chaudhuri S Accelerating Machine Learning Inference with Probabilistic Predicates Proceedings of the 2018 International Conference on Management of Data, (1493-1508)
- Gulzar M Interactive and automated debugging for big data analytics Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, (509-511)
- Ngo H, Porat E, Ré C and Rudra A (2018). Worst-case Optimal Join Algorithms, Journal of the ACM, 65:3, (1-40), Online publication date: 27-Mar-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.
- Chu S, Weitz K, Cheung A and Suciu D (2017). HoTTSQL: proving query rewrites with univalent SQL semantics, ACM SIGPLAN Notices, 52:6, (510-524), Online publication date: 14-Sep-2017.
- Chu S, Weitz K, Cheung A and Suciu D HoTTSQL: proving query rewrites with univalent SQL semantics Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, (510-524)
- Sa C, Ratner A, Ré C, Shin J, Wang F, Wu S and Zhang C (2017). Incremental knowledge base construction using DeepDive, The VLDB Journal — The International Journal on Very Large Data Bases, 26:1, (81-105), Online publication date: 1-Feb-2017.
- Mohapatra A, Agarwal S and Genesereth M Update Policies AI 2016: Advances in Artificial Intelligence, (291-302)
- Papenbrock T and Naumann F A Hybrid Approach to Functional Dependency Discovery Proceedings of the 2016 International Conference on Management of Data, (821-833)
- Gottlob G, Greco G, Leone N and Scarcello F Hypertree Decompositions Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (57-74)
- 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.
- Atre M For the DISTINCT Clause of SPARQL Queries Proceedings of the 25th International Conference Companion on World Wide Web, (7-8)
- Papenbrock T, Ehrlich J, Marten J, Neubert T, Rudolph J, Schönberg M, Zwiener J and Naumann F (2015). Functional dependency discovery, Proceedings of the VLDB Endowment, 8:10, (1082-1093), Online publication date: 1-Jun-2015.
- Atre M Left Bit Right Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, (1793-1808)
- Alvaro P, Rosen J and Hellerstein J Lineage-driven Fault Injection Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, (331-346)
- Abo Khamis M, Ngo H, Ré C and Rudra A Joins via Geometric Resolutions Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (213-228)
- Benedikt M, Bourhis P and Ley C (2015). Analysis of Schemas with Access Restrictions, ACM Transactions on Database Systems, 40:1, (1-46), Online publication date: 25-Mar-2015.
- Liagouris J and Terrovitis M (2014). Efficient identification of implicit facts in incomplete OWL2-EL knowledge bases, Proceedings of the VLDB Endowment, 7:14, (1993-2004), Online publication date: 1-Oct-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)
- Satish N, Sundaram N, Patwary M, Seo J, Park J, Hassaan M, Sengupta S, Yin Z and Dubey P Navigating the maze of graph analytics frameworks using massive graph datasets Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, (979-990)
- Park H and Widom J CrowdFill Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, (577-588)
- Roy S and Suciu D A formal approach to finding explanations for database queries Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data, (1579-1590)
- Mohapatra A and Genesereth M Incremental Maintenance of Aggregate Views Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems - Volume 8367, (399-414)
- 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.
- Green T, Huang S, Loo B and Zhou W (2013). Datalog and Recursive Query Processing, Foundations and Trends in Databases, 5:2, (105-195), Online publication date: 21-Nov-2013.
- Sakr S, Liu A and Fayoumi A (2013). The family of mapreduce and large-scale data processing systems, ACM Computing Surveys, 46:1, (1-44), Online publication date: 1-Oct-2013.
- Moore S, Gehani A and Shankar N Declaratively processing provenance metadata Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance, (1-8)
- Moore S, Gehani A and Shankar N Declaratively processing provenance metadata Proceedings of the 5th USENIX conference on Theory and Practice of Provenance, (7-7)
- Chakravarthy S, Telang A, Kumar M, Linderman M, Madria S and Naqvi W Connectivity-tolerant query optimization over distributed mobile repositories Proceedings of the 18th International Conference on Management of Data, (21-31)
- Lobo J, Wood D, Verma D and Calo S Distributed state machines Proceedings of the 8th International Conference on Network and Service Management, (224-228)
- Gurevich Y Datalog Proceedings of the Second international conference on Datalog in Academia and Industry, (9-20)
- Saccà D and Serra E Data exchange in datalog is mainly a matter of choice Proceedings of the Second international conference on Datalog in Academia and Industry, (153-164)
- De A and D'Souza D Scalable flow-sensitive pointer analysis for java with strong updates Proceedings of the 26th European conference on Object-Oriented Programming, (665-687)
- Meliou A and Suciu D Tiresias Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data, (337-348)
- Afrati F and Ullman J Transitive closure and recursive Datalog implemented on clusters Proceedings of the 15th International Conference on Extending Database Technology, (132-143)
- Benedikt M, Bourhis P and Ley C (2012). Querying schemas with access restrictions, Proceedings of the VLDB Endowment, 5:7, (634-645), Online publication date: 1-Mar-2012.
- Queralt A and Teniente E (2012). Verification and Validation of UML Conceptual Schemas with OCL Constraints, ACM Transactions on Software Engineering and Methodology, 21:2, (1-41), Online publication date: 1-Mar-2012.
- Yahya M and Theobald M D2R2 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web, (81-96)
- Paschke A Rules and logic programming for the web Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (326-381)
- Benedikt M, Gottlob G and Senellart P Determining relevance of accesses at runtime Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (211-222)
- Huang S, Green T and Loo B Datalog and emerging applications Proceedings of the 2011 ACM SIGMOD International Conference on Management of data, (1213-1216)
- Alviano M, Greco G and Leone N Dynamic magic sets for programs with monotone recursive aggregates Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning, (148-160)
- Afrati F, Borkar V, Carey M, Polyzotis N and Ullman J Map-reduce extensions and recursive queries Proceedings of the 14th International Conference on Extending Database Technology, (1-8)
- Speiser S and Studer R A self-policing policy language Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (730-746)
- Fletcher G, Van Den Bussche J, Van Gucht D and Vansummeren S (2010). Towards a theory of search queries, ACM Transactions on Database Systems, 35:4, (1-33), Online publication date: 1-Nov-2010.
- Chaudhuri K Magically constraining the inverse method using dynamic polarity assignment Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning, (202-216)
- Mohamed K, Leclère M and Mugnier M Deduction in existential conjunctive first-order logic Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications, (1-10)
- 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)
- Anthes G (2010). Happy Birthday, RDBMS!, Communications of the ACM, 53:5, (16-17), Online publication date: 1-May-2010.
- Alvaro P, Condie T, Conway N, Elmeleegy K, Hellerstein J and Sears R Boom analytics Proceedings of the 5th European conference on Computer systems, (223-236)
- Alvaro P, Marczak W, Conway N, Hellerstein J, Maier D and Sears R Dedalus Proceedings of the First international conference on Datalog Reloaded, (262-281)
- Broberg N and Sands D Paralocks Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (431-444)
- Broberg N and Sands D (2010). Paralocks, ACM SIGPLAN Notices, 45:1, (431-444), Online publication date: 2-Jan-2010.
- Greco S and Lisi F Logic programming languages for databases and the web A 25-year perspective on logic programming, (183-203)
- Hoang D, Paik H and Benatallah B An analysis of spreadsheet-based services mashup Proceedings of the Twenty-First Australasian Conference on Database Technologies - Volume 104, (141-150)
- 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.
- Gillis J and Van den Bussche J Induction of relational algebra expressions Proceedings of the 19th international conference on Inductive logic programming, (25-33)
- 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.
- Chu D and Hellerstein J Automating rendezvous and proxy selection in sensornets Proceedings of the 2009 International Conference on Information Processing in Sensor Networks, (73-84)
- Fletcher G, Van den Bussche J, Van Gucht D and Vansummeren S Towards a theory of search queries Proceedings of the 12th International Conference on Database Theory, (201-211)
- Pradhan S Towards an integrated framework for querying collection of heterogeneous data Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, (51-57)
- Mergen S, Freire J and heuser C Querying structured information sources on the web Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, (470-476)
- Singh A, Ramakrishnan C, Ramakrishnan I, Warren D and Wong J A methodology for in-network evaluation of integrated logical-statistical models Proceedings of the 6th ACM conference on Embedded network sensor systems, (197-210)
- 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)
- Chaudhuri A, Naldurg P, Rajamani S, Ramalingam G and Velaga L EON Proceedings of the 15th ACM conference on Computer and communications security, (381-390)
- Saha D Extending logical attack graphs for efficient vulnerability analysis Proceedings of the 15th ACM conference on Computer and communications security, (63-74)
- 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)
- Oren E, Heitmann B and Decker S (2008). ActiveRDF, Web Semantics: Science, Services and Agents on the World Wide Web, 6:3, (191-202), Online publication date: 1-Sep-2008.
- Condie T, Chu D, Hellerstein J and Maniatis P (2008). Evita raced, Proceedings of the VLDB Endowment, 1:1, (1153-1165), Online publication date: 1-Aug-2008.
- Wang X, Guo Z, Liu X, Xu Z, Lin H, Wang X and Zhang Z (2008). Hang analysis, ACM SIGOPS Operating Systems Review, 42:4, (177-190), Online publication date: 25-Apr-2008.
- Wang X, Guo Z, Liu X, Xu Z, Lin H, Wang X and Zhang Z Hang analysis Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008, (177-190)
- Jin J, Sanchez R, Maheswaran R and Szekely P VizScript Proceedings of the 13th international conference on Intelligent user interfaces, (40-49)
- 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)
- Pradhan S Towards a novel desktop search technique Proceedings of the 18th international conference on Database and Expert Systems Applications, (192-201)
- Carman M and Knoblock C (2007). Learning semantic definitions of online information sources, Journal of Artificial Intelligence Research, 30:1, (1-50), Online publication date: 1-Sep-2007.
- 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)
- Green T, Karvounarakis G and Tannen V Provenance semirings Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (31-40)
- 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.
- Polleres A From SPARQL to rules (and back) Proceedings of the 16th international conference on World Wide Web, (787-796)
- Leclère M and Mugnier M Some algorithmic improvements for the containment problem of conjunctive queries with negation Proceedings of the 11th international conference on Database Theory, (404-418)
- Cuppens F, Cuppens-Boulahia N and Coma C O2O Proceedings of the Second international conference on Information Systems Security, (101-115)
- 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)
- Pradhan S An algebraic query model for effective and efficient retrieval of XML fragments Proceedings of the 32nd international conference on Very large data bases, (295-306)
- 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)
- Pagh A and Pagh R Scalable computation of acyclic joins Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (225-232)
- Yang G, Kifer M and Chaudhri V Efficiently ordering subgoals with access constraints Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (183-192)
- Cohen S Equivalence of queries combining set and bag-set semantics Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (70-79)
- Whaley J, Avots D, Carbin M and Lam M Using datalog with binary decision diagrams for program analysis Proceedings of the Third Asian conference on Programming Languages and Systems, (97-118)
- 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)
- Pieciukiewicz T, Stencel K and Subieta K Usable recursive queries Proceedings of the 9th East European conference on Advances in Databases and Information Systems, (17-28)
- 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)
- Saha D and Ramakrishnan C Incremental and demand-driven points-to analysis using logic programming Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, (117-128)
- Lam M, Whaley J, Livshits V, Martin M, Avots D, Carbin M and Unkel C Context-sensitive program analysis as database queries Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (1-12)
- Avots D, Dalton M, Livshits V and Lam M Improving software security with a C pointer analysis Proceedings of the 27th international conference on Software engineering, (332-341)
- Farré C, Teniente E and Urpí T (2005). Checking query containment with the CQC method, Data & Knowledge Engineering, 53:2, (163-223), Online publication date: 1-May-2005.
- Theodoratos D and Xu W Constructing search spaces for materialized view selection Proceedings of the 7th ACM international workshop on Data warehousing and OLAP, (112-121)
- Ross K and Stoyanovich J Symmetric relations and cardinality-bounded multisets in database systems Proceedings of the Thirtieth international conference on Very large data bases - Volume 30, (912-923)
- Deutsch A, Papakonstantinou Y and Xu Y The NEXT framework for logical XQuery optimization Proceedings of the Thirtieth international conference on Very large data bases - Volume 30, (168-179)
- Lakshmanan L, Ramesh G, Wang H and Zhao Z On testing satisfiability of tree pattern queries Proceedings of the Thirtieth international conference on Very large data bases - Volume 30, (120-131)
- Ross K and Janevski A Querying faceted databases Proceedings of the Second international conference on Semantic Web and Databases, (199-218)
- Özcan F, Subrahmanian V and Dix J (2004). Improving Performance of Heterogeneous Agents, Annals of Mathematics and Artificial Intelligence, 41:2-4, (339-395), Online publication date: 1-Aug-2004.
- Rao J, Pirahesh H and Zuzarte C Canonical abstraction for outerjoin optimization Proceedings of the 2004 ACM SIGMOD international conference on Management of data, (671-682)
- 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)
- 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.
- Kambhampati S, Lambrecht E, Nambiar U, Nie Z and Senthil G (2004). Optimizing Recursive Information Gathering Plans in EMERAC, Journal of Intelligent Information Systems, 22:2, (119-153), Online publication date: 1-Mar-2004.
- Adalı S and Pigaty L (2003). The DARPA Advanced Logistics Project, Annals of Mathematics and Artificial Intelligence, 37:4, (409-452), Online publication date: 1-Apr-2003.
- Merialdo P, Atzeni P and Mecca G (2003). Design and development of data-intensive web sites, ACM Transactions on Internet Technology, 3:1, (49-92), Online publication date: 1-Feb-2003.
- Wijsen J and Bès A (2003). On query optimization in a temporal SPC algebra, Data & Knowledge Engineering, 44:2, (165-192), Online publication date: 1-Feb-2003.
- Amer-Yahia S, Fernández M, Greer R and Srivastava D Logical and physical support for heterogeneous data Proceedings of the eleventh international conference on Information and knowledge management, (270-281)
- 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)
- Chu F, Halpern J and Gehrke J Least expected cost query optimization Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (293-302)
- Afrati F, Li C and Mitra P Answering queries using views with arithmetic comparisons Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (209-220)
- Chen S, Shen H and Topor R (2002). Permutation-Based Range-Join Algorithms on N-Dimensional Meshes, IEEE Transactions on Parallel and Distributed Systems, 13:4, (413-431), Online publication date: 1-Apr-2002.
- Lee D and Chu W (2001). Towards Intelligent Semantic Caching for Web Sources, Journal of Intelligent Information Systems, 17:1, (23-45), Online publication date: 21-Nov-2001.
- Casati F, Castano S and Fugini M (2001). Managing Workflow Authorization Constraints through Active Database Technology, Information Systems Frontiers, 3:3, (319-338), Online publication date: 1-Sep-2001.
- Lakshmanan L and Shiri N (2001). A Parametric Approach to Deductive Databases with Uncertainty, IEEE Transactions on Knowledge and Data Engineering, 13:4, (554-570), Online publication date: 1-Jul-2001.
- Afrati F, Li C and Ullman J (2001). Generating efficient plans for queries using views, ACM SIGMOD Record, 30:2, (319-330), Online publication date: 1-Jun-2001.
- Afrati F, Li C and Ullman J Generating efficient plans for queries using views Proceedings of the 2001 ACM SIGMOD international conference on Management of data, (319-330)
- Gottlob G, Leone N and Scarcello F Robbers, marshals, and guards Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (195-206)
- Rajaraman A and Ullmann J Querying websites using compact skeletons Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (16-27)
- 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.
- Ambite J, Knoblock C, Muslea I and Philpot A (2001). Compiling Source Descriptions for Efficient and Flexible Information Integration, Journal of Intelligent Information Systems, 16:2, (149-187), Online publication date: 1-Mar-2001.
- 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.
- Saharia A and Babad Y (2000). Enhancing data warehouse performance through query caching, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 31:3, (43-63), Online publication date: 1-Jun-2000.
- Bellatreche L, Karlapalem K and Simonet A (2000). Algorithms and Support for Horizontal Class Partitioning in Object-Oriented Databases, Distributed and Parallel Databases, 8:2, (155-179), Online publication date: 1-Apr-2000.
- Lee D and Chu W Semantic caching via query matching for web sources Proceedings of the eighth international conference on Information and knowledge management, (77-85)
- Nørvåg K The Persistent Cache Proceedings of the 25th International Conference on Very Large Data Bases, (66-77)
- Frasconi P, Gori M and Soda G (1999). Data Categorization Using Decision Trellises, IEEE Transactions on Knowledge and Data Engineering, 11:5, (697-712), Online publication date: 1-Sep-1999.
- Gadia S and Nair S (1998). Algebraic Identities and Query Optimization in a Parametric Model for Relational Temporal Databases, IEEE Transactions on Knowledge and Data Engineering, 10:5, (793-807), Online publication date: 1-Sep-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.
- Greco S Binding Propagation in Disjunctive Databases Proceedings of the 24rd International Conference on Very Large Data Bases, (287-298)
- Toman D (1998). Memoing Evaluation for Constraint Extensions of Datalog, Constraints, 2:3/4, (337-359), Online publication date: 1-Jan-1998.
- 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.
- Vassalos V and Papakonstantinou Y Describing and Using Query Capabilities of Heterogeneous Sources Proceedings of the 23rd International Conference on Very Large Data Bases, (256-265)
- Theodoratos D and Sellis T Data Warehouse Configuration Proceedings of the 23rd International Conference on Very Large Data Bases, (126-135)
- Chang J and Lee S An optimization of disjunctive queries Proceedings of the 21st International Computer Software and Applications Conference, (356-361)
- Zhang C, Hu Y and Shi B (1997). A reasoning mechanism for deductive object-oriented databases, Journal of Computer Science and Technology, 12:4, (337-345), 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
- 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.
- 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.
- Staudt M and Jarke M Incremental Maintenance of Externally Materialized Views Proceedings of the 22th International Conference on Very Large Data Bases, (75-86)
- Järvelin K, Kristensen J, Niemi T, Sormunen E and Keskustalo H A deductive data model for query expansion Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval, (235-243)
- 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.
- Adali S, Candan K, Papakonstantinou Y and Subrahmanian V (1996). Query caching and optimization in distributed mediator systems, ACM SIGMOD Record, 25:2, (137-146), Online publication date: 1-Jun-1996.
- Adali S, Candan K, Papakonstantinou Y and Subrahmanian V Query caching and optimization in distributed mediator systems Proceedings of the 1996 ACM SIGMOD international conference on Management of data, (137-146)
- Han J (1995). Program Partition and Logic Program Analysis, IEEE Transactions on Software Engineering, 21:12, (959-968), Online publication date: 1-Dec-1995.
- Horwitz S, Reps T and Sagiv M (1995). Demand interprocedural dataflow analysis, ACM SIGSOFT Software Engineering Notes, 20:4, (104-115), Online publication date: 1-Oct-1995.
- Horwitz S, Reps T and Sagiv M Demand interprocedural dataflow analysis Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, (104-115)
- Gupta A, Mumick I and Ross K Adapting materialized views after redefinitions Proceedings of the 1995 ACM SIGMOD international conference on Management of data, (211-222)
- 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.
- Gupta A, Mumick I and Ross K (1995). Adapting materialized views after redefinitions, ACM SIGMOD Record, 24:2, (211-222), Online publication date: 22-May-1995.
- Han J, Liu L and Xie Z LogicBase Proceedings of the third international conference on Information and knowledge management, (226-233)
- Chaudhri V, Hadzilacos V, Mylopoulos J and Sevcik K Quantitative evaluation of a transaction facility for knowledge base management system Proceedings of the third international conference on Information and knowledge management, (122-131)
- Miyashita K, Matsuoka S, Takahashi S and Yonezawa A Interactive generation of graphical user interfaces by multiple visual examples Proceedings of the 7th annual ACM symposium on User interface software and technology, (85-94)
- 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)
- 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)
- Galindo-Legaria C (1994). Outerjoins as disjunctions, ACM SIGMOD Record, 23:2, (348-358), Online publication date: 1-Jun-1994.
- Galindo-Legaria C Outerjoins as disjunctions Proceedings of the 1994 ACM SIGMOD international conference on Management of data, (348-358)
- Saraiya Y Projection-propagation in complex-object query languages Proceedings of the second international conference on Information and knowledge management, (413-422)
- Shum C Quick and incomplete responses Proceedings of the second international conference on Information and knowledge management, (39-48)
- 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)
- Derr M, Morishita S and Phipps G (1993). Design and implementation of the glue-nail database system, ACM SIGMOD Record, 22:2, (147-156), Online publication date: 1-Jun-1993.
- Derr M, Morishita S and Phipps G Design and implementation of the glue-nail database system Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (147-156)
- Nejdl W, Ceri S and Wiederhold G (1993). Evaluating Recursive Queries in Distributed Databases, IEEE Transactions on Knowledge and Data Engineering, 5:1, (104-121), Online publication date: 1-Feb-1993.
- Kowarschick W (1992). Semantic optimization, ACM SIGMOD Record, 21:3, (26-32), 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)
- Thöne H, Güntzer U and Kießling W Towards precision of probabilistic bounds propagation Proceedings of the Eighth international conference on Uncertainty in artificial intelligence, (315-322)
- Tsur S (1991). Some recent developments in deductive databases, ACM SIGMOD Record, 20:4, (98-101), Online publication date: 1-Dec-1991.
- 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)
- 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)
- 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.
- 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)
- Plambeck T Semigroup techniques in recursive query optimization Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (145-153)
- Keskin A Strategies for deductive databases Proceedings of the 28th annual Southeast regional conference, (296-305)
- 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)
Recommendations
Knowledge acquisition for knowledge-based engineering systems
This paper is essentially concerned with the development of formal representations of knowledge required prior to the development of knowledge-based engineering systems (KBESs). Initially, the paper provides a brief introduction to knowledge-based ...