Skip header Section
Skip Bibliometrics Section
Logic and Data BasesJanuary 1978
- Editors:
- Herve Gallaire,
- Jack Minker
Abstract
No abstract available.
Cited By
- Morales F, Ishikawa F and Honiden S Abstract rewriting Approach to solve Datalog programs Proceedings of the 15th Symposium on Database Programming Languages, (29-36)
- 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)
- Kowalski R Logic Programming in the 1970s Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning - Volume 8148, (11-22)
- Minker J To vladimir lifschitz on his 65th birthday Correct Reasoning, (1-13)
- 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 S and Lisi F Logic programming languages for databases and the web A 25-year perspective on logic programming, (183-203)
- Spiessens F, Hartog J and Etalle S Know What You Trust Formal Aspects in Security and Trust, (129-142)
- Braßel B, Hanus M and Müller M High-level database programming in curry Proceedings of the 10th international conference on Practical aspects of declarative languages, (316-332)
- Avgustinov P, Hajiyev E, Ongkingco N, de Moor O, Sereni D, Tibble J and Verbaere M Semantics of static pointcuts in aspectJ Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (11-23)
- Avgustinov P, Hajiyev E, Ongkingco N, de Moor O, Sereni D, Tibble J and Verbaere M (2007). Semantics of static pointcuts in aspectJ, ACM SIGPLAN Notices, 42:1, (11-23), Online publication date: 17-Jan-2007.
- de Moor O, Hajiyev E and Verbaere M Object-oriented queries over software systems Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (91-91)
- Hajiyev E, Ongkingco N, Avgustinov P, de Moor O, Sereni D, Tibble J and Verbaere M Datalog as a pointcut language in aspect-oriented programming Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, (667-668)
- Avgustinov P, Bodden E, Hajiyev E, Hendren L, Lhoták O, de Moor O, Ongkingco N, Sereni D, Sittampalam G, Tibble J and Verbaere M Aspects for trace monitoring Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification, (20-39)
- Hajiyev E, Verbaere M and de Moor O CodeQuest Proceedings of the 20th European conference on Object-Oriented Programming, (2-27)
- Hajiyev E, Verbaere M, de Moor O and de Volder K CodeQuest Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (102-103)
- Zaniolo C Data and knowledge in database systems Handbook of data mining and knowledge discovery, (85-89)
- Bittencourt G and Tonin I (2001). An Algorithm for Dual Transformation in First-Order Logic, Journal of Automated Reasoning, 27:4, (353-389), Online publication date: 1-Nov-2001.
- Minker J Introduction to logic-based artificial intelligence Logic-based artificial intelligence, (3-33)
- Subrahmanian V (1999). Nonmonotonic Logic Programming, IEEE Transactions on Knowledge and Data Engineering, 11:1, (143-152), Online publication date: 1-Jan-1999.
- Rishe N (1996). A UNIVERSAL MODEL FOR NON-PROCEDURAL DATABASE LANGUAGES, Fundamenta Informaticae, 26:1, (31-57), Online publication date: 1-Jan-1996.
- Gopal R and Ramesh R (1995). The Query Clustering Problem, IEEE Transactions on Knowledge and Data Engineering, 7:6, (885-899), Online publication date: 1-Dec-1995.
- Thuraisingham B and Ford W (1995). Security Constraint Processing in a Multilevel Secure Distributed Database Management System, IEEE Transactions on Knowledge and Data Engineering, 7:2, (274-293), Online publication date: 1-Apr-1995.
- Gaasterland T and Lobo J Qualified Answers That Reflect User Needs and Preferences Proceedings of the 20th International Conference on Very Large Data Bases, (309-320)
- 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.
- 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)
- Ioannidis Y and Tsangaris M (1994). The Design, Implementation, and Performance Evaluation of BERMUDA, IEEE Transactions on Knowledge and Data Engineering, 6:1, (38-56), Online publication date: 1-Feb-1994.
- Petrounias I and Loucopoulos P Development and evaluation of an application in a deductive environment Proceedings of the second international conference on Information and knowledge management, (184-193)
- Basu A (1993). A Knowledge Representation Model for Multiuser Knowledge-Based Systems, IEEE Transactions on Knowledge and Data Engineering, 5:2, (177-189), Online publication date: 1-Apr-1993.
- 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)
- Schmidt H Communicating control knowledge to a deductive database system Proceedings of the 1992 ACM annual conference on Communications, (439-446)
- 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.
- Demolombe R (1992). Syntactical characterization of a subset of domain-independent formulas, Journal of the ACM, 39:1, (71-94), Online publication date: 2-Jan-1992.
- Shin D and Irani K (1991). Fragmenting Relations Horizontally Using a Knowledge-Based Approach, IEEE Transactions on Software Engineering, 17:9, (872-883), Online publication date: 1-Sep-1991.
- Tsur S Deductive databases in action Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (142-153)
- Roussopoulos N, Mark L, Sellis T and Faloutsos C (1991). An Architecture for High Performance Engineering Information Systems, IEEE Transactions on Software Engineering, 17:1, (22-33), Online publication date: 1-Jan-1991.
- Sellis T and Ghosh S (1990). On the Multiple-Query Optimization Problem, IEEE Transactions on Knowledge and Data Engineering, 2:2, (262-266), Online publication date: 1-Jun-1990.
- Keskin A Strategies for deductive databases Proceedings of the 28th annual ACM Southeast Regional Conference, (296-305)
- Cosmadakis S On the first-order expressibility of recursive queries Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (311-323)
- 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)
- Ceri S, Gottlob G and Tanca L (1989). What You Always Wanted to Know About Datalog (And Never Dared to Ask), IEEE Transactions on Knowledge and Data Engineering, 1:1, (146-166), Online publication date: 1-Mar-1989.
- Afrati F and Cosmadakis S Expressiveness of restricted recursive queries Proceedings of the twenty-first annual ACM symposium on Theory of computing, (113-126)
- Clifford J (1988). Natural language querying of historical databases, Computational Linguistics, 14:4, (10-34), Online publication date: 1-Dec-1988.
- Bergsten B, Gonzalez-Rubio R, Kerherve B and Rohmer J (1988). An Advanced Database Accelerator, IEEE Micro, 8:5, (47-63), Online publication date: 1-Sep-1988.
- Gonzalez-Rubio R and Couprie M A parallel multiprocessor machine dedicated to relational and deductive data bases Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval, (417-431)
- Vardi M Decidability and undecidability results for boundedness of linear recursive queries Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (341-351)
- Cosmadakis S, Gaifman H, Kanellakis P and Vardi M Decidable optimization problems for database logic programs Proceedings of the twentieth annual ACM symposium on Theory of computing, (477-490)
- Wu C Towards fully-computerized database maintenance for non-traditional appliances Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, (469-474)
- Aly H and Ozsoyoglu Z (1987). Non-deterministic modelling of logical queries in deductive databases, ACM SIGMOD Record, 16:3, (60-72), Online publication date: 1-Dec-1987.
- Ioannidis Y and Wong E (1987). Query optimization by simulated annealing, ACM SIGMOD Record, 16:3, (9-22), Online publication date: 1-Dec-1987.
- Aly H and Ozsoyoglu Z Non-deterministic modelling of logical queries in deductive databases Proceedings of the 1987 ACM SIGMOD international conference on Management of data, (60-72)
- Ioannidis Y and Wong E Query optimization by simulated annealing Proceedings of the 1987 ACM SIGMOD international conference on Management of data, (9-22)
- Siebes A and Kersten M Using Design Axioms and Topology to Model Database Semantics Proceedings of the 13th International Conference on Very Large Data Bases, (51-59)
- Sagiv Y Optimizing datalog programs Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (349-362)
- Kuper G Logic programming with sets Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (11-20)
- Ullman J Database theory—past and future Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (1-10)
- Gallaire H, Minker J and Nicolas J (1987). Logic and databases: a response, ACM SIGPLAN Notices, 22:6, (20-24), Online publication date: 1-Jun-1987.
- Harel D (1987). Logic and databases: a critique, ACM SIGPLAN Notices, 22:3, (14-20), Online publication date: 1-Mar-1987.
- Gallaire H, Minker J and Nicolas J (1986). Logic and databases: a response, ACM SIGACT News, 18:2, (52-56), Online publication date: 1-Sep-1986.
- Tsur S and Zaniolo C LDL Proceedings of the 12th International Conference on Very Large Data Bases, (33-41)
- Sellis T Global query optimization Proceedings of the 1986 ACM SIGMOD international conference on Management of data, (191-205)
- Sellis T (1986). Global query optimization, ACM SIGMOD Record, 15:2, (191-205), Online publication date: 15-Jun-1986.
- Harel D (1986). Logic and databases: a critique, ACM SIGACT News, 18:1, (68-74), Online publication date: 1-Mar-1986.
- Cohen J (1985). Describing Prolog by its interpretation and compilation, Communications of the ACM, 28:12, (1311-1324), Online publication date: 1-Dec-1985.
- Yasdi R Formal representation of a conceptual knowledge model for a database based expert system Proceedings of the twenty-first annual conference on Computer personnel research, (11-23)
- Ullman J (1985). Implementation of logical query languages for databases, ACM Transactions on Database Systems, 10:3, (289-321), Online publication date: 1-Sep-1985.
- Kamiya S, Matsuda S, Iwata K, Shibayama S, Sakai H and Murakami K A hardware pipeline algorithm for relational database operation Proceedings of the 12th annual international symposium on Computer architecture, (250-257)
- Bancilhon F, Maier D, Sagiv Y and Ullman J Magic sets and other strange ways to implement logic programs (extended abstract) Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, (1-15)
- Kamiya S, Matsuda S, Iwata K, Shibayama S, Sakai H and Murakami K (1985). A hardware pipeline algorithm for relational database operation, ACM SIGARCH Computer Architecture News, 13:3, (250-257), Online publication date: 1-Jun-1985.
- Shin D and Irani K (1985). Partitioning a relational database horizontally using a knowledge-based approach, ACM SIGMOD Record, 14:4, (95-105), Online publication date: 1-May-1985.
- Shin D and Irani K Partitioning a relational database horizontally using a knowledge-based approach Proceedings of the 1985 ACM SIGMOD international conference on Management of data, (95-105)
- Berghel H (1985). Simplified integration of Prolog with RDBMS, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 16:3, (3-12), Online publication date: 1-Apr-1985.
- Debili F and Fluhr C Interrogation en langue naturelle de donnees mixtes, textuelles et factuelles Recherche d'Informations Assistée par Ordinateur, (547-556)
- Koster A PROLOG applications for database design with the information center Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, (220-234)
- Kung D A Temporal Framework for Database Specification and Verification Proceedings of the 10th International Conference on Very Large Data Bases, (91-99)
- Hall P Relational algebras, logic, and functional programming Proceedings of the 1984 ACM SIGMOD international conference on Management of data, (326-333)
- Jarke M, Clifford J and Vassiliou Y An optimizing prolog front-end to a relational query system Proceedings of the 1984 ACM SIGMOD international conference on Management of data, (296-306)
- Motro A Browsing in a loosely structured database Proceedings of the 1984 ACM SIGMOD international conference on Management of data, (197-207)
- Maier D, Ullman J and Vardi M (1984). On the foundations of the universal relation model, ACM Transactions on Database Systems, 9:2, (283-308), Online publication date: 3-Jun-1984.
- Hall P (1984). Relational algebras, logic, and functional programming, ACM SIGMOD Record, 14:2, (326-333), Online publication date: 1-Jun-1984.
- Jarke M, Clifford J and Vassiliou Y (1984). An optimizing prolog front-end to a relational query system, ACM SIGMOD Record, 14:2, (296-306), Online publication date: 1-Jun-1984.
- Motro A (1984). Browsing in a loosely structured database, ACM SIGMOD Record, 14:2, (197-207), Online publication date: 1-Jun-1984.
- Koster A Compiling prolog programs for parallel execution on a cellular machine Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, (167-178)
- Asgari D and Henschen L Utilizing first-order logic in query processing Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium, (147-154)
- Biskup J (1983). A foundation of CODD's relational maybe-operations, ACM Transactions on Database Systems, 8:4, (608-636), Online publication date: 1-Dec-1983.
- Vassiliou Y, Clifford J and Jarke M How Does an Expert System Get its Data? (Extended Abstract) Proceedings of the 9th International Conference on Very Large Data Bases, (70-72)
- Furtado A (1983). An informal approach to formal specifications, ACM SIGMOD Record, 14:1, (45-54), Online publication date: 1-Sep-1983.
- Ridjanovic D and Brodie M Action and transaction skeletons: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (94-99)
- Ridjanovic D and Brodie M (1983). Action and transaction skeletons:, ACM SIGPLAN Notices, 18:6, (94-99), Online publication date: 1-Jun-1983.
- Clifford J and Warren D (1983). Formal semantics for time in databases, ACM Transactions on Database Systems, 8:2, (214-254), Online publication date: 1-Jun-1983.
- Imielinski T and Lipski W Incomplete information and dependencies in relational databases Proceedings of the 1983 ACM SIGMOD international conference on Management of data, (178-184)
- Imielinski T and Lipski W (1983). Incomplete information and dependencies in relational databases, ACM SIGMOD Record, 13:4, (178-184), Online publication date: 1-May-1983.
- Furtado A (1983). An informal approach to formal specifications, ACM SIGMOD Record, 13:3, (32-41), Online publication date: 1-Apr-1983.
- Imielinski T and Lipski W Inverting relational expressions Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, (305-311)
- Maier D, Ullman J and Vardi M The revenge of the JD Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, (279-287)
- Sicherman G, De Jonge W and Van de Riet R (1983). Answering queries without revealing secrets, ACM Transactions on Database Systems, 8:1, (41-59), Online publication date: 1-Mar-1983.
- Nicolas J (1982). Logic for improving integrity checking in relational data bases ⋆, Acta Informatica, 18:3, (227-253), Online publication date: 1-Dec-1982.
- Wilson W (1982). Beyond PROLOG, ACM SIGPLAN Notices, 17:9, (34-43), Online publication date: 1-Sep-1982.
- Simmons R and Chester D (1982). Relating sentences and semantic networks with procedural logic, Communications of the ACM, 25:8, (527-547), Online publication date: 1-Aug-1982.
- Chouraqui E Recherches sur la representation des connaissances le systeme ARCHES Proceedings of the 9th conference on Computational linguistics - Volume 1, (55-59)
- Brodie M and Schmidt J (1982). Final report of the ANSI/X3/SPARC DBS-SG relational database task group, ACM SIGMOD Record, 12:4, (1-62), Online publication date: 1-Jul-1982.
- Gawron J, King J, Lamping J, Loebner E, Paulson E, Pullum G, Sag I and Wasow T Processing English with a Generalized Phrase Structure Grammar Proceedings of the 20th annual meeting on Association for Computational Linguistics, (74-81)
- Graham M and Mendelzon A Notions of dependency satisfaction Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, (177-188)
- Chandra A and Harel D Horn clauses and the fixpoint query hierarchy Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, (158-163)
- Dahl V (1982). On database systems development through logic, ACM Transactions on Database Systems, 7:1, (102-123), Online publication date: 1-Mar-1982.
- Mylopoulos J (1980). An overview of Knowledge Representation, ACM SIGMOD Record, 11:2, (5-12), Online publication date: 1-Feb-1981.
- Chandra A Programming primitives for database languages Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (50-62)
- Mylopoulos J (1980). An overview of Knowledge Representation, ACM SIGART Bulletin:74, (5-12), Online publication date: 1-Jan-1981.
- Mylopoulos J (1980). An overview of Knowledge Representation, ACM SIGPLAN Notices, 16:1, (5-12), Online publication date: 1-Jan-1981.
- Yamauchi H Processing of syntax and semantics of natural language by predicate logic Proceedings of the 8th conference on Computational linguistics, (389-396)
- Yonezaki N and Enomoto H Database system based on intensional logic Proceedings of the 8th conference on Computational linguistics, (220-227)
- Mylopoulos J An overview of Knowledge Representation Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (5-12)
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
μ-Bases and singularities of rational planar curves
We provide a technique to detect the singularities of rational planar curves and to compute the correct order of each singularity including the infinitely near singularities without resorting to blow ups. Our approach employs the given parametrization ...
Logic Networks of Carry-Save Adders
logic networks of carry-save adders such as high-speed multipliers, multioperand adders, and double-rail input parallel adders are designed based on the parallel adders with a minimum number of NOR gates discussed in [1]. After a discussion of the ...
Multiple-Valued Logic Charge-Coupled Devices
A new method to implement multiple-valued logic in large scale integrated circuits is introduced. The data are represented by discrete amounts of charge in a charge-coupled device. In this paper the design principles and realizations in four-valued ...