SCOPUS 정보 검색 플랫폼

Journal of Computer and System Sciences

Volumn 62, Issue 1, 2001, Pages 15-42

Semantics and expressive power of nondeterministic constructs in deductive databases

(3) Giannotti, Fosca a Pedreschi, Dino b Zaniolo, Carlo c

a ISTI CNR (Italy)

b UNIVERSITY OF PISA (Italy)

c University of California (United States)

Author keywords

Declarative semantics; Deductive databases; Expressive power; Fixpoint; Logic based languages; Nondeterminism; Operational semantics

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; MATHEMATICAL OPERATORS; QUERY LANGUAGES;

DEDUCTIVE DATABASES;

RELATIONAL DATABASE SYSTEMS;

EID: 0035250708 PISSN: 00220000 EISSN: None Source Type: Journal
DOI: 10.1006/jcss.1999.1699 Document Type: Article

Times cited : (19)

References (32)

1
- 0025406143
- Non-deterministic language to express deterministic transformation
- (1990) Proceedings of ACM Symposium on Principles of Database Systems , pp. 218-229
- Abiteboul, S.¹ Simon, E.² Vianu, V.³

2
- 0025499147
- Procedural languages for database queries and updates
- (1990) J. Comput. System Sci. , vol.41
- Abiteboul, S.¹ Vianu, V.²

3
- 0024886764
- Fixpoint extension of first order logic and datalog-like languages
- IEEE Compt. Sci. Press
- (1989) Proc. 4th Symp on Logic in Computer Science (LICS) , pp. 71-89
- Abiteboul, S.¹ Vianu, V.²

4
- 0001315761
- Nondeterminism in logic based languages
- (1991) Ann. of Math. Artificial Intelligence , vol.3 , pp. 151-186
- Abiteboul, S.¹ Vianu, V.²

5
- 0003928313
- Addison-Wesley, Reading, MA
- (1995) Foundations of Databases
- Abiteboul, S.¹ Hull, R.² Vianu, V.³

6
- 0001609012
- Reasoning about termination of pure Prolog programs
- (1993) Inform. and Comput. , vol.106 , pp. 109-157
- Apt, K.R.¹ Pedreschi, D.²

7
- 0020166926
- Structures and complexity of relational queries
- (1982) J. Comput. System Sci. , vol.25 , pp. 99-128
- Chandra, A.¹ Harel, D.²

8
- 0022045348
- Horn clause queries and generalizations
- (1985) J. Logic Programming , vol.1 , pp. 1-15
- Chandra, A.¹ Harel, D.²

9
- 0025402059
- The LDL system prototype
- (1990) IEEE J. Data Knowledge Eng. , vol.2 , pp. 76-90
- Chimenti, D.¹

10
- 0002554758
- Relational completeness of database sublanguages
- (R. Rustin, Ed.), Prentice-Hall, Englewood Cliffs, NJ
- (1972) Data Base Systems , pp. 33-64
- Codd, E.F.¹

11
- 0005731819
- Laurea Thesis, Dipartimento di Informatica, Univseritá di Pisa. [In ltalian.]
- (1993) Non-determinism in Deductive Databases
- Corciulo, L.¹

12
- 33745081114
- Datalog with nondeterministic choice computes NDB-PTIME
- "Proc. Of DOOD'93, Third Int. Conf. on Deductive and Object-oriented Databases" (S. Ceri, T. Katsumi, and S. Tsur, Eds.), Springer-Verlag, Berlin/New York
- Lecture Notes in Computer Science , vol.760 , pp. 49-65
- Corciulo, L.¹ Giannotti, F.² Pedreschi, D.³

13
- 0021444827
- Logic and databases, a deductive approach
- (1984) ACM Comput. Surveys , vol.16 , pp. 153-185
- Gallaire, H.¹ Minker, J.² Nicolas, J.M.³

14
- 0001119421
- The stable model semantics for logic programming
- MIT Press, Cambridge, MA
- (1988) Proc. 5th Int. Conf: and Symp. on Logic Programming , pp. 1080-1070
- Gelfond, M.¹ Lifschitz, V.²

15
- 0031483503
- Programming with non-determinism in deductive databases
- Advances in Logic-Based Database Languages
- (1997) Annals of Mathematics and Artificial Intelligence , vol.19 , pp. 97-126
- Giannotti, F.¹ Greco, S.² Saccà, D.³ Zaniolo, C.⁴

16
- 85030481931
- Nondeterminism in deductive databases
- "Proc. Deductive and Object-oriented Databases, Second International Conference, DOOD'91" (C. Delobel, M. Kifer, and Y. Masunaga, Eds.), Springer-Verlag, New York/Berlin
- (1991) Lecture Notes in Computer Science , vol.566 , pp. 129-146
- Giannotti, F.¹ Pedreschi, D.² Saccà, D.³ Zaniolo, C.⁴

17
- 0032048595
- Datalog with non-deterministic choice computes NDB-PTIME
- (1998) J. Logic Programming , vol.35 , pp. 79-101
- Giannotti, F.¹ Pedreschi, D.²

18
- 0031479814
- "Possible is Certain" is desirable and can be expressive
- Advances in Logic-Based Database Languages
- (1997) Annals of Mathematics and Artificial Intelligence , vol.19 , pp. 147-168
- Greco, S.¹ Saccà, D.²

19
- 84947813098
- P
- "Proc. of the Int. Conf. on Database Theory", Springer-Verlag, Berlin/New York
- (1995) Lecture Notes in Computer Science , vol.893 , pp. 82-96
- Greco, S.¹ Saccà, D.² Zaniolo, C.³

20
- 38249042304
- Fixed-point extensions of first-order logic
- (1986) Ann. Pure Appl. Logic , vol.32 , pp. 265-280
- Gurevich, Y.¹ Shelah, S.²

21
- 0022500426
- Relational queries computable in polynomial time
- (1986) Inform. and Control , vol.68 , pp. 86-104
- Immerman, N.¹

22
- 0023400985
- Languages which capture complexity classes
- (1987) SIAM J. Comput. , vol.16 , pp. 760-778
- Immerman, N.¹

23
- 0002020664
- Elements of relational databases theory
- (J. van Leeuwen, Ed.)
- (1990) Handbook of Theoretical Computer Science , pp. 1075-1155
- Kanellakis, P.C.¹

24
- 0025406205
- On the expressive power of Datalog: Tools and a case study
- (1990) ACM Proc. Symp. on Principles of Database System , pp. 61-71
- Kolaitis, P.G.¹ Vardi, M.Y.²

25
- 0025841928
- The expressive power of stratified logic programs
- (1991) Inform. and Comput. , vol.90 , pp. 50-66
- Kolaitis, P.G.¹

26
- 0002338501
- Nondeterministic choice in datalog
- Morgan Kaufmann, Los Altos
- (1988) Proc. 3nd Int. Conf. on Data and Knowledge Bases , pp. 416-424
- Krishnamurthy, R.¹ Naqvi, S.²

27
- 0004284658
- Computer Science Press, New York
- (1989) A Logical Language for Data and Knowledge Bases
- Naqvi, S.¹ Tsur, S.²

28
- 0005731820
- Advances in logic-based database languages
- (1997) Annals of Mathematics and Artificial Intelligence , vol.19
- Pedreschi, D.¹ Subrahmanian, V.S.²

29
- 0025406463
- Stable models and nondeterminism in logic programs with negation
- Assoc. Comput. Mach, New York
- (1990) Proc. Symp. on Principles of Database System PODS'90 , pp. 205-217
- Saccà, D.¹ Zaniolo, C.²

30
- 85040876697
- Computer Science Press, Rockville, MD
- (1988) Principles of Databases and Knowledge Base System , vol.1-2
- Ullman, J.D.¹

31
- 85028752389
- The complexity of relational query languages
- (1982) Proc. ACM-SIGACT Symp. on the Theory of Computing , pp. 137-146
- Vardi, M.¹

32
- 0005666639
- Logic-based user-defined aggregates for the next generation of database systems
- (K. R. Apt, V. Marek, M. Truszczynski, and D. S. Warren, Eds.), Springer-Verlag, Berlin/New York
- (1999) The Logic Programming Paradigm: Current Trends and Future Directions
- Zaniolo, C.¹ Wang, H.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.