SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

ACM Transactions on Database Systems

Volumn 23, Issue 1, 1998, Pages 100-109

Safe Stratified Datalog with Integer Order Does Not Have Syntax

(2) Stolboushkin, Alexei P a Taitslin, Michael A b

a Fourth Dimension Software (United States)

b TVER STATE UNIVERSITY (Russian Federation)

Author keywords

H.2.1 Database Management : Logical Design; H.2.3 Database Management : Languages; Languages; Theory; Verification

Indexed keywords

STRATIFIED DATALOG LANGUAGE; SYNTAX; TURNING MACHINES;

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; LOGIC PROGRAMMING; THEOREM PROVING; DISTRIBUTED DATABASE SYSTEMS; INTEGER PROGRAMMING; Z TRANSFORMS;

DATABASE SYSTEMS; QUERY LANGUAGES;

STRATIFIED DATALOG;

EID: 0032010351 PISSN: 03625915 EISSN: None Source Type: Journal
DOI: 10.1145/288086.288089 Document Type: Article

Times cited : (4)

References (8)

1
- 0020166926
- Structure and complexity of relational queries
- CHANDRA, A. AND HAREL, D. 1982. Structure and complexity of relational queries. J. Comput. Syst. Sci. 25, 99-128.
- (1982) J. Comput. Syst. Sci. , vol.25 , pp. 99-128
- Chandra, A.¹ Harel, D.²

2
- 85032090044
- Constraint logic programming
- (Munich, Germany, Jan. 21-23, 1987). ACM Press, New York, NY
- JAFFAR, J. AND LASSEZ, J.-L. 1987. Constraint logic programming. In Proceedings of the 14th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (Munich, Germany, Jan. 21-23, 1987). ACM Press, New York, NY, 111-119.
- (1987) Proceedings of the 14th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages , pp. 111-119
- Jaffar, J.¹ Lassez, J.-L.²

3
- 4243532938
- Constraint logic programming: A survey
- JAFFAR, J. AND MAHER, M. 1994. Constraint logic programming: A survey. J. Logic Program. 19-20, 503-581.
- (1994) J. Logic Program , vol.19-20 , pp. 503-581
- Jaffar, J.¹ Maher, M.²

4
- 84949014862
- Constraint programming and database query languages
- Springer-Verlag, New York, NY
- KANELLAKIS, P. AND GOLDIN, D. Q. 1994. Constraint programming and database query languages. In Proceedings of the Conference on Theoretical Aspects of Computer Software. Springer-Verlag, New York, NY, 96-120.
- (1994) Proceedings of the Conference on Theoretical Aspects of Computer Software , pp. 96-120
- Kanellakis, P.¹ Goldin, D.Q.²

5
- 0029359817
- Constraint query languages
- Aug.
- KANELLAKIS, P. C., KUPER, G. M., AND REVESZ, P. Z. 1995. Constraint query languages. J. Comput. Syst. Sci. 51, 1 (Aug.), 26-52.
- (1995) J. Comput. Syst. Sci. , vol.51 , Issue.1 , pp. 26-52
- Kanellakis, P.C.¹ Kuper, G.M.² Revesz, P.Z.³

6
- 0027906169
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints
- Aug. 2
- REVESZ, P. Z. 1993. A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theor. Comput. Sci. 116, 1 (Aug. 2), 117-149.
- (1993) Theor. Comput. Sci. , vol.116 , Issue.1 , pp. 117-149
- Revesz, P.Z.¹

7
- 84958052755
- Safe stratified Datalog with integer order programs
- Proceedings of the First International Conference on Principles and Practice of Constraint Programming (Cassis, France, 1995), Springer-Verlag, Berlin, , Germany
- REVESZ, P. Z. 1995. Safe stratified Datalog with integer order programs. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming (Cassis, France, 1995), Lecture Notes in Computer Science, vol. 976. Springer-Verlag, Berlin, , Germany, 154-169.
- (1995) Lecture Notes in Computer Science , vol.976 , pp. 154-169
- Revesz, P.Z.¹

8
- 0004138172
- McGraw-Hill, Inc., New York, NY
- ROGERS JR, H. 1967. Theory of Recursive Functions and Effective Computability. McGraw-Hill, Inc., New York, NY.
- (1967) Theory of Recursive Functions and Effective Computability
- Rogers H., Jr.¹

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