Fosca Giannotti, Sergio Greco, Domenico Saccà, Carlo Zaniolo  Home/Search
Context Related
| ucla.edu/~zaniolo/cz/amai_over.ps.gz ucla.edu/~zaniolo/pap...amai_over.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucla.edu/~zaniolo...ZanioloPapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper provides an overview of recent results on this topic with the aim of providing an introduction to the theory and practice of non-determinism in deductive databases. In particular we (i) recall the main results linking non-deterministic constructs in database languages to the theory of data complexity and the expressibility hierarchy of query languages (ii) provide a reasoned introduction to effective programming with nondeterministic constructs (iii) compare the usage of... (Update)
Context of citations to this paper: More
.... by: y; t a ) p( x; t ; null ; t d ) choice( x ; y) 5) where choice( X; Y ) is the static non deterministic choice operator [22] that selects one value for attribute tuple Y for each value of the attribute tuple X. In equation (5) choice( x ; y) selects one value...
.... replaced by: y;t # ) # p( x; t ; null ; t # ) choice( x (8) where choice( X; Y ) is the static non deterministic choice operator [25] that selects one value for attribute tuple Y for eachvalue of the attribute tuple X.In equation (8) choice( x ;y)would select one value...
Cited by: More
Disjunctive Deductive Databases for Computing Certain and.. - Bravo, Bertossi (Correct)
Query Answering in Inconsistent Databases - Bertossi, Chomicki (Correct)
Scalar Aggregation in Inconsistent Databases - Arenas, Bertossi, Chomicki.. (2003) (Correct)
Active bibliography (related documents): More All
0.7: Non-Determinism in Deductive Databases - Giannotti, Pedreschi (1991) (Correct)
0.5: Greedy Algorithms in Datalog - Greco, Zaniolo (2001) (Correct)
0.4: DATALOG Queries with Stratified Negation and Choice: from P.. - Greco, Sacca, Zaniolo (1995) (Correct)
Similar documents based on text: More All
0.9: Grammars And Automata To Optimize Chain Logic Queries - Greco, Sacca (1999) (Correct)
0.8: The PushDown Method to Optimize Chain Logic Programs (Extended.. - Greco, al. (Correct)
0.8: Extending Stratified Datalog to Capture Complexity Classes .. - Greco, Sacch, Zaniolo (2001) (Correct)
Related documents from co-citation: More All
11: Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi et al. - 1999
10: Specifying and Querying Database repairs using Logic Programs with Exceptions - Arenas, Bertossi et al. - 2000
10: Foundations of databases (context) - Abiteboul, Hull et al. - 1995
BibTeX entry: (Update)
Giannotti, F., S. Greco, D. Sacc`a and C. Zaniolo, "Programming with Non-determinism in Deductive Databases" Annals of Artificial Intelligence and Mathematics, Vol. 19, No, 3/4, April 1997. http://citeseer.ist.psu.edu/giannotti97programming.html More
@article{ giannotti97programming,
author = "Fosca Giannotti and Sergio Greco and Domenico Sacca and Carlo Zaniolo",
title = "Programming with Non-Determinism in Deductive Databases",
journal = "Annals of Mathematics and Artificial Intelligence",
volume = "19",
number = "1-2",
pages = "97-125",
year = "1997",
url = "citeseer.ist.psu.edu/giannotti97programming.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
981 Principles of Databases and Knowledge Base Systems (context) - Ullman - 1988
951 Computational Complexity (context) - Papadimitriou - 1994
858 The stable model semantics of logic programming - Gelfond, Lifschitz - 1988
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
686 A Guide to the Theory of NP-Completeness (context) - Garey, Johnson et al. - 1979
452 Data Structures and Algorithms (context) - Aho, Hopcroft et al. - 1983
435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988
379 The Complexity of Relational Query Languages (context) - Vardi - 1982
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
211 Languages that Capture Complexity Classes - Immerman - 1987
198 Structures and Complexity of Relational Queries - Chandra, Harel - 1982
189 Computable Queries for Relational Databases - Chandra, Harel - 1980
124 Datalog Extensions for Databases Queries and Updates (context) - Abiteboul, Vianu - 1991
113 Relations and Logic (context) - Ramakrishnan, Srivastava et al. - 1992
68 Stable models and non-determinism in logic programs with neg.. - Sacca, Zaniolo - 1990
67 Negation as failure using tight derivations for general logi.. (context) - Van Gelder - 1989
65 Why not negation by fixpoint (context) - Kolaitis, Papadimitriou - 1991
61 The expressive power of the logic programming semantics (context) - Schlipf - 1990
60 Temporal deductive databases - Chomicki - 1993
51 the expressive power of Datalog: Tools and a case study - Kolaitis, Vardi - 1990
42 Non-Deterministic Language to Express Deterministic Transfor.. (context) - Abiteboul, Simon et al. - 1990
35 The Expressive Power of Stratified Logic Programs (context) - Kolaitis - 1990
31 Nondeterminism in deductive databases - Giannotti, Pedreschi et al. - 1991
30 Negation and Aggregates in Recursive Rules: the LDL++ Approa.. - Zaniolo, Arni et al. - 1993
28 Non-deterministic choice in Datalog (context) - Krishnamurthy, Naqvi - 1988
24 A Note on the Expressive Power of Prolog (context) - Papadimitriou - 1985
21 A logic language for data and knowledge bases (context) - Naqvi, Tsur - 1989
20 Semantics and Expressive Power of NonDeterministic Construct.. - Giannotti, Pedreschi et al. - 1996
18 A Survey of Complexity and Undecidability Results in Logic P.. (context) - Schlipf - 1993
17 Deterministic and Non-Deterministic Stable Models - Sacca, Zaniolo - 1994
14 Handbook of Theoretical Computer Science (context) - Johnson, of et al. - 1990
13 Datalog with Non-deterministic Choice Computes NDB-PTIME (context) - Corciulo, Giannotti et al. - 1993
12 DATALOG Queries with Stratified Negation and Choice: from P .. - Greco, Sacca et al. - 1995
12 Greedy by Choice - Greco, Zaniolo et al. - 1992
7 Horn clause and generalizations (context) - Chandra, Harel - 1985
6 Extrema Predicates in Deductive Databases - Ganguly, Greco et al. - 1991
4 Towards banishing the cut from Prolog - Debray, Warren - 1990
2 Declarative Semantics for Pruning Operators Logic Programmin.. - Giannotti, Pedreschi et al. - 1994
1 Nondeterminism through Well-Founded Choice (context) - Chen, Zeng - 1996
1 Journal of Computer and System Science (context) - Afrati, Cosmadakis et al. - 1991
1 The Logic of Linear and Non-Linear Plans: A Deductive Databa.. (context) - Brogi, Subrahmanian et al.
1 Expressive Power of Non-Deterministic operators for logic ba.. - Corciulo, Giannotti et al. - 1994
1 A Non-deterministics Deductive Database Language (context) - Sheng - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ucla.edu/~zaniolo/cz/ZanioloPapers.html): More
Intelligent Databases: Old Challenges and New Opportunities - Zaniolo (1992) (Correct)
Metaqueries for Data Mining - Shen, Ong, Mitbander, Zaniolo (1996) (Correct)
Deterministic and Non-Deterministic Stable Models - Sacca, Zaniolo (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC