Solving satisfiability and implication problems in database systems

被引：0
|
作者：
Florida Int Univ, Miami, United States [1 ]
机构：
来源：
ACM Trans Database Syst | / 2卷 / 270-293期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Solving satisfiability and implication problems in database systems
    Guo, S
    Sun, W
    Weiss, MA
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1996, 21 (02): : 270 - 293
  • [2] On satisfiability, equivalence, and implication problems involving conjunctive queries in database systems
    Guo, S
    Sun, W
    Weiss, MA
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (04) : 604 - 616
  • [3] On Satisfiability, equivalence, and implication problems involving conjunctive queries in database systems
    Florida Int Univ, Miami, United States
    IEEE Trans Knowl Data Eng, 4 (604-616):
  • [4] SOLVING IMPLICATION PROBLEMS IN DATABASE APPLICATIONS
    SUN, XH
    KAMEL, N
    NI, LM
    PROCEEDINGS OF THE 1989 ACM SIGMOD INTERNATIONAL CONFERENCE ON THE MANAGEMENT OF DATA, 1989, 18 : 185 - 192
  • [5] On satisfiability, equivalence, and implication problems involving conjunctive queries in database systems (vol 8, pg 604, 1996)
    Guo, S
    Sun, W
    Weiss, MA
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1998, 10 (05) : 863 - 863
  • [6] Solving satisfiability problems on FPGAs
    Suyama, T.
    Yokoo, M.
    Sawada, H.
    Lecture Notes in Computer Science, 1142
  • [7] Solving satisfiability problems with preferences
    Di Rosa, Emanuele
    Giunchiglia, Enrico
    Maratea, Marco
    CONSTRAINTS, 2010, 15 (04) : 485 - 515
  • [8] Solving satisfiability problems with preferences
    Emanuele Di Rosa
    Enrico Giunchiglia
    Marco Maratea
    Constraints, 2010, 15 : 485 - 515
  • [9] Solving Satisfiability Problems with Membrane Algorithms
    Zhang, Gexiang
    Liu, Chunxiu
    Gheorghe, Marian
    Ipate, Florentin
    2009 FOURTH INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS, PROCEEDINGS, 2009, : 29 - +
  • [10] On Strategies for Solving Boolean Satisfiability Problems
    Pulka, Andrzej
    2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
12345