A SAT-based System for Consistent Query Answering

An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled approach to the semantics of queries posed against inconsistent databases. The consistent answers to a query on an inconsistent database is the intersection of the answers to the query on every repair, i.e., on every consistent database that differs from the given inconsistent one in a minimal way. Computing the consistent answers of a fixed conjunctive query on a given inconsistent database can be a coNP-hard problem, even though every fixed conjunctive query is efficiently computable on a given consistent database. We designed, implemented, and evaluated CAvSAT, a SAT-based system for consistent query answering. CAvSAT leverages a set of natural reductions from the complement of consistent query answering to SAT and to Weighted MaxSAT. The system is capable of handling unions of conjunctive queries and arbitrary denial constraints, which include functional dependencies as a special case. We report results from experiments evaluating CAvSAT on both synthetic and real-world databases. These results provide evidence that a SAT-based approach can give rise to a comprehensive and scalable system for consistent query answering.Comment: 25 pages including appendix, to appear in the 22nd International Conference on Theory and Applications of Satisfiability Testin

Delayed-onset muscle soreness does not influence occlusal sensitivity and position sense of the mandible

Masticatory muscle-pain patients often complain about sensorimotor changes, but the effects of pain on the psychophysical properties remain unclear. This study aimed to investigate the effects of delayed-onset muscle soreness (DOMS) on the jaw's position sense (PS) and occlusal sensitivity (OS). In all, 12 participants underwent intense concentric–eccentric jaw exercises. Self-reported muscle fatigue and pain, pain-free maximum mouth opening (MMO), pain pressure thresholds (PPTs) at right and left masseter and right and left anterior temporalis, maximum voluntary bite force (MVBF), PS and OS were recorded before, immediately after, 24 h, 48 h and 1 week after the exercises. Data were analysed with repeated measures anova. Pain and fatigue increased significantly after the exercises, while fatigue also increased 24 h afterwards. Time and site had a significant effect for PPTs, not for MVBF. MMO decreased significantly 24 h after the exercises. OS and PS did not change significantly. Experimentally induced DOMS does not influence the psychophysical properties of the masticatory system

Oral health-related quality of life in patients with Parkinson’s disease

Background: Parkinson's disease (PD) is a neurodegenerative condition affecting the quality of life. Due to a worsening of oral health in PD patients with the progression of the disease, oral health-related quality of life (OHRQoL) could be impaired as well. Objectives: To assess whether PD patients in The Netherlands experience worse OHRQoL than historical controls, and to investigate which factors are associated with OHRQoL in PD patients. Materials & Methods: In total, 341 PD patients (65.5 ± 8.4 years) and 411 historical controls (62.6 ± 5.3 years) participated. Both groups completed a questionnaire. The PD patients were asked questions regarding demographics, PD, oral health, and OHRQoL. The historical controls filled in demographic information and questions regarding OHRQoL. The latter construct was assessed using the Dutch 14-item version of the Oral Health Impact Profile (OHIP-14). Data were analysed using independent samples t-tests and univariate and multivariate linear regression analysis. Results: The mean OHIP-14 score was higher in PD patients (19.1 ± 6.7) than in historical controls (16.5 ± 4.4) (t(239) = 6.5; p <.001). OHRQoL in PD patients was statistically significant associated with motor aspects of experiences of daily living (B = 0.31; t(315) = 7.03; p <.001), worsening of the oral environment during disease course (B = 3.39; t(315) = 4.21; p <.001), being dentate (B = −5.60; t(315) = −4.5; p <.001), tooth wear (B = 2.25; t(315) = 3.29; p =.001), and possible burning mouth syndrome (B = 5.87; t(315) = 2.87; p =.004). Conclusion: PD patients had a lower OHRQoL than historical controls. Besides, PD-related variables and oral health-related variables were associated with OHRQoL