메뉴 건너뛰기




Volumn 35, Issue 2, 1988, Pages 345-373

Efficient tests for top-down termination of logical rules

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY; COMPUTER PROGRAMMING - ALGORITHMS;

EID: 0023994541     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/42282.42285     Document Type: Article
Times cited : (83)

References (20)
  • 3
    • 84976736962 scopus 로고
    • Proceedings of the ACM SIGMOD International Conference on Management of Data (Washington, D.C., May 28-30). ACM, New York,]
    • BANCILHON, F., AND RAMAKRISHNAN, R. An amateur's introduction to recursive query processing strategies, in Proceedings of the ACM SIGMOD International Conference on Management of Data (Washington, D.C., May 28-30). ACM, New York, 1986, pp 16-52.]
    • (1986) An amateur's introduction to recursive query processing strategies , pp. 16-52
    • Bancilhon, F.1    Ramakrishnan, R.2
  • 5
    • 0018504528 scopus 로고
    • Proving termination with multiset orderings
    • DERSHOWITZ, N., AND MANNA, Z. Proving termination with multiset orderings. Commun. ACM 22, 8 (1979), 465-476.]
    • (1979) Commun. ACM , vol.22 , Issue.8 , pp. 465-476
    • Dershowitz, N.1    Manna, Z.2
  • 7
    • 84945711277 scopus 로고
    • Ed. American Mathematical Society, Providence, R.I.]
    • FISCHER, i. J., and RABIN, i.O. Super-exponential complexity of Presberger arithmetic. In Complexity of Computation, R. M. Karp, Ed. American Mathematical Society, Providence, R.I., 1974.]
    • (1974)
    • Fischer, I.J.1    Rabin, i.O.2    Karp, R.M.3
  • 8
    • 85027599451 scopus 로고
    • In Proceedings of the 3rd International Conference on Logic Programming (London, England, July). Springer-Verlag, New York,]
    • MORRIS, K., ULLMAN, J. D., AND VAN GELDER, A. Design overview of the NAIL! system. In Proceedings of the 3rd International Conference on Logic Programming (London, England, July). Springer-Verlag, New York, 1986, pp. 554-568.]
    • (1986) Design overview of the NAIL! system , pp. 554-568
    • Morris, K.1    Ullman, J.D.2    Van Gelder, A.3
  • 9
    • 84911267349 scopus 로고    scopus 로고
    • Tech. Rep. TR83/6. Dept. of Computer Science, Univ. of Melbourne, Melbourne, Australia, i 983.]
    • NAISH, L. Automatic generation of control for logic programs. Tech. Rep. TR83/6. Dept. of Computer Science, Univ. of Melbourne, Melbourne, Australia, i 983.]
    • Automatic generation of control for logic programs
    • Naish, L.1
  • 13
    • 0038935439 scopus 로고
    • STAN-CS-84-1009. Dept. of Computer Science, Stanford Univ., Stanford, Calif.]
    • SAGIV, Y., AND ULLMAN, J.O. Complexity of a top-down capture rule. STAN-CS-84-1009. Dept. of Computer Science, Stanford Univ., Stanford, Calif., 1984.]
    • (1984) Complexity of a top-down capture rule
    • Sagiv, Y.1    Ullman, J.O.2
  • 15
    • 0001790593 scopus 로고
    • Depth first search and linear graph algorithms
    • TARJAN, R.E. Depth first search and linear graph algorithms. SIAM J. Comput. 1, 2 (1972), 146-160.]
    • (1972) SIAM J. Comput. , vol.1 , Issue.2 , pp. 146-160
    • Tarjan, R.E.1
  • 17
    • 0022128534 scopus 로고
    • Implementation of logical query languages for databases
    • (Sept.
    • ULLMAN, J.D. Implementation of logical query languages for databases. ACM Trans. Database Syst. 10, 3 (Sept. 1985), 289-321.]
    • (1985) ACM Trans. Database Syst. , vol.10 , Issue.3 , pp. 289-321
    • Ullman, J.D.1
  • 18
    • 84945711278 scopus 로고
    • In Proceedings of the 12th 85-1046, Dept. of Computer Science, Stanford Univ., Stanford, Calif.]
    • ULLAMAN, J.D. Implementatioan of logical query language. In Proceedings of the 12th 85-1046, Dept. of Computer Science, Stanford Univ., Stanford, Calif., 1985.]
    • (1985) Implementatioan of logical query language
    • Ullaman, J.D.1
  • 19
    • 0017013056 scopus 로고
    • The semantics of predicate logic as a programming language
    • (Oct.
    • VAN EMDEN, M. H., AND KOWALSKI, R. The semantics of predicate logic as a programming language. J. ACM 23, 4 (Oct. 1976), 733-742.]
    • (1976) J. ACM , vol.23 , Issue.4 , pp. 733-742
    • Van Emden, M.H.1    Kowalski, R.2


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