메뉴 건너뛰기




Volumn 22, Issue , 2003, Pages 78-89

Computing Full Disjunctions

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; INFORMATION RETRIEVAL; POLYNOMIAL APPROXIMATION; PROBLEM SOLVING; RELATIONAL DATABASE SYSTEMS; SEMANTICS; THEOREM PROVING;

EID: 1142299438     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/773153.773162     Document Type: Conference Paper
Times cited : (11)

References (30)
  • 1
    • 44949276851 scopus 로고
    • On the representation and querying sets of possible worlds
    • S. Abiteboul, P.Kanellakis, and G. Grahne. On the representation and querying sets of possible worlds. Theoretical Computer Science, 78(1):158-187, 1991.
    • (1991) Theoretical Computer Science , vol.78 , Issue.1 , pp. 158-187
    • Abiteboul, S.1    Kanellakis, P.2    Grahne, G.3
  • 3
    • 0020782108 scopus 로고
    • On the desirability of acyclic database schemes
    • C. Beeri, R. Fagin, D. Maier, and M. Yannakakis. On the desirability of acyclic database schemes. Journal of the ACM, 30(3):479-513, 1983.
    • (1983) Journal of the ACM , vol.30 , Issue.3 , pp. 479-513
    • Beeri, C.1    Fagin, R.2    Maier, D.3    Yannakakis, M.4
  • 6
    • 0018705521 scopus 로고
    • Extending the relational database model to capture more meaning
    • E. F. Codd. Extending the relational database model to capture more meaning. ACM Transactions on Database Systems, 4(4):397-434, 1979.
    • (1979) ACM Transactions on Database Systems , vol.4 , Issue.4 , pp. 397-434
    • Codd, E.F.1
  • 8
    • 0003651699 scopus 로고
    • Degree of acyclicity for hypergraphs and relational database schemas
    • R. Fagin. Degree of acyclicity for hypergraphs and relational database schemas. Journal of the ACM, 7(3):343-360, 1983.
    • (1983) Journal of the ACM , vol.7 , Issue.3 , pp. 343-360
    • Fagin, R.1
  • 13
    • 0020164099 scopus 로고
    • Testing satisfaction of functional dependencies
    • P. Honeyman. Testing satisfaction of functional dependencies. Journal of the ACM, 29(3):668-677, 1982.
    • (1982) Journal of the ACM , vol.29 , Issue.3 , pp. 668-677
    • Honeyman, P.1
  • 14
    • 0021513522 scopus 로고
    • Incomplete information in relational databases
    • T. Imielinski and W. Lipski. Incomplete information in relational databases. Journal of the ACM, 31:761-791, 1984.
    • (1984) Journal of the ACM , vol.31 , pp. 761-791
    • Imielinski, T.1    Lipski, W.2
  • 19
    • 1142282811 scopus 로고    scopus 로고
    • The world wide web as a collection of views: Query processing in the information manifold
    • Monteal, Canada, June
    • A. Y. Levy, A. Rajaraman, and J. J. Ordille. The world wide web as a collection of views: Query processing in the information manifold. In Workshop on Materialized Views: Techniques and Applications, pages 43-55, Monteal, (Canada), June 1996.
    • (1996) Workshop on Materialized Views: Techniques and Applications , pp. 43-55
    • Levy, A.Y.1    Rajaraman, A.2    Ordille, J.J.3
  • 20
    • 0019624806 scopus 로고
    • On the complexity of testing implications of functional and join dependencies
    • D. Maier, Y. Sagiv, and M. Yannakakis. On the complexity of testing implications of functional and join dependencies. Journal of the ACM, 28(4):680-695, 1981.
    • (1981) Journal of the ACM , vol.28 , Issue.4 , pp. 680-695
    • Maier, D.1    Sagiv, Y.2    Yannakakis, M.3
  • 24
    • 0022698710 scopus 로고
    • A sound and sometimes complete query evaluation algorithm for relational databases with null values
    • R. Reiter. A sound and sometimes complete query evaluation algorithm for relational databases with null values. Journal of the ACM, 33(2):349-370, 1986.
    • (1986) Journal of the ACM , vol.33 , Issue.2 , pp. 349-370
    • Reiter, R.1
  • 26
    • 0020764827 scopus 로고
    • A characterization of globally consistent databases and their correct access paths
    • Y. Sagiv. A characterization of globally consistent databases and their correct access paths. ACM Transactions on Database Systems, 8(2):266-286, 1983.
    • (1983) ACM Transactions on Database Systems , vol.8 , Issue.2 , pp. 266-286
    • Sagiv, Y.1
  • 27
    • 0025750714 scopus 로고
    • Evaluation of queries in independent database schemes
    • Y. Sagiv. Evaluation of queries in independent database schemes. Journal of the ACM, 38(1):120-161, 1991.
    • (1991) Journal of the ACM , vol.38 , Issue.1 , pp. 120-161
    • Sagiv, Y.1
  • 28
    • 85028752389 scopus 로고
    • The complexity of relational query languages
    • San Francisco (California, USA), May
    • M. Y. Vardi. The complexity of relational query languages. In Proceedings of the 14th ACM Symposium on Theory of Computing, pages 137-146, San Francisco (California, USA), May 1982.
    • (1982) Proceedings of the 14th ACM Symposium on Theory of Computing , pp. 137-146
    • Vardi, M.Y.1


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