Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Satisfiability in Logic vs. satisfiability in DB theory

Satisfiability in Logic vs. satisfiability in DB theory

From: Anthony WIDJAJA <twidjaja_at_cs.mu.OZ.AU>
Date: Thu, 01 Apr 2004 10:24:06 GMT
Message-ID: <Pine.GSO.4.56.0404012009460.8515@mulga.cs.mu.OZ.AU>


Hi,

Recently, I've seen some papers that confuse the notions of FOL satisfiability in logic (where the domain is specified in the model and may take constants not appearing in any relations) and first-order query satisfiability in DB theory (where the domain is taken to be the active domain). I'm wondering if the decidability status of satisfiability of any fragment of FOL changes when the domain is forced to be the active domain. For example, monadic FOL satisfiability is decidable whether or not we force the domain of interpretation to be the active domain. Does anybody know?

Thanks in advance,

Anthony Received on Thu Apr 01 2004 - 04:24:06 CST

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US