Search results for "Logic-Database"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Sebastian Fischer 0001	A functional logic database library.	WCFLP	2005	DBLP DOI BibTeX RDF	database library, dynamic predicates, curry, persistent storage
21	Yan-Nong Huang, Verónica Dahl, Jiawei Han 0001	Incremental Processing of Logic Database Relations.	ISMIS	1994	DBLP DOI BibTeX RDF	Fact-Update, Evolutionary-Computation, Intelligent-Information-Systems, Incremental-Evaluation, Logic-Database
19	Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee	A Logic Database System with Extended Functionality.	COMPSAC	1996	DBLP DOI BibTeX RDF
15	Stefan Brass	Beginnings of a Theory of General Database Completions.	ICDT	1990	DBLP DOI BibTeX RDF
11	Wenyu Lu, Dik Lun Lee, Jiawei Han 0001	A Study on the Structure of Linear Recursion.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	linear recursion, variable connections, static bindings, chain connections, chain recursions, rule compilation, query information, optimized query-processing plans, rule classification, query processing, query processing, optimisation, database theory, deductive databases, deductive database, expansions, logic database
11	Weining Zhang, Clement T. Yu, Daniel Troy	Necessary and Sufficient Conditions to Linearize Double Recursive Programs in Logic Databases.	ACM Trans. Database Syst.	1990	DBLP DOI BibTeX RDF	logic database
10	Francesco Bonchi, Fosca Giannotti, Dino Pedreschi	On Verification in Logic Database Languages.	Computational Logic	2000	DBLP BibTeX RDF
10	Seung Jin Lim, Yiu-Kai Ng	Set-Term Matching in a Logic Database Language.	DASFAA	1995	DBLP BibTeX RDF
10	Seung Jin Lim, Yiu-Kai Ng	Set-Term Unification in a Logic Database Language.	COCOON	1995	DBLP DOI BibTeX RDF
10	Patrizia Asirelli, D. Di Grande, Paola Inverardi, F. Nicodemi	Graphics by a Logic Database Management System.	J. Vis. Lang. Comput.	1994	DBLP DOI BibTeX RDF
10	Divesh Srivastava, Raghu Ramakrishnan 0001, Praveen Seshadri, S. Sudarshan 0001	Coral++: Adding Object-Orientation to a Logic Database Language.	VLDB	1993	DBLP BibTeX RDF
10	Alexandra Poulovassilis, Carol Small	A Domain-theoretic Approach to Integrating Functional and Logic Database Languages.	VLDB	1993	DBLP BibTeX RDF
10	J. S. H. Yang, Yeh-Hao Chin, C. G. Chung	Many-Sorted First-Order Logic Database Language.	Comput. J.	1992	DBLP DOI BibTeX RDF
10	Catriel Beeri, Shamim A. Naqvi, Oded Shmueli, Shalom Tsur	Set Constructors in a Logic Database Language.	J. Log. Program.	1991	DBLP DOI BibTeX RDF
10	Erik Lambrichts, Peter Nees, Jan Paredaens, Peter Peelman	Integration of Functions in Logic Database Systems.	Data Knowl. Eng.	1990	DBLP DOI BibTeX RDF
10	Charles Elkan	Independence of Logic Database Queries and Updates.	PODS	1990	DBLP DOI BibTeX RDF
10	Paul Singleton, O. Pearl Brereton	A logic database for software release engineering.	ICSM	1990	DBLP DOI BibTeX RDF
10	Sergio Greco, Pasquale Rullo	Complex-Prolog: a logic database language for handling complex objects.	Inf. Syst.	1989	DBLP DOI BibTeX RDF
10	Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan 0001, Oded Shmueli, Shalom Tsur	Sets and Negation in a Logic Database Language (LDL1).	PODS	1987	DBLP DOI BibTeX RDF
10	Takashi Yokomori	On Analogical Query Processing in Logic Database.	VLDB	1986	DBLP BibTeX RDF
10	Guillermo Morales-Luna	Simple Epistemic Logic for Relational Database.	MICAI	2002	DBLP DOI BibTeX RDF	database design, privacy protection, Epistemic logic, statistical disclosure
8	Churn-Jung Liau	Epistemic Logics for Information Fusion.	ECSQARU	2003	DBLP DOI BibTeX RDF	belief fusion, majority merging, general merging, multi-agent systems, belief revision, epistemic logic, arbitration, database merging
8	Sanjay Manchanda	Declarative Expression of Deductive Database Updates.	PODS	1989	DBLP DOI BibTeX RDF	Prolog
6	Nematollaah Shiri, Zhi Hong Zheng	Challenges in Fixpoint Computation with Multisets.	FoIKS	2004	DBLP DOI BibTeX RDF
4	Fosca Giannotti, Giuseppe Manco 0001, Franco Turini	Towards a Logic Query Language for Data Mining.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
4	Krzysztof Ciebiera, Piotr Sankowski	Improving Web Sites by Automatic Source Code Analysis and Modifications.	ICWE	2004	DBLP DOI BibTeX RDF
4	Luca Corciulo, Fosca Giannotti, Dino Pedreschi	Datalog with Non-Deterministic Choice Computes NDB-PTIME.	DOOD	1993	DBLP DOI BibTeX RDF