Ordering Constraints over Feature Trees

Ordering Constraints over Feature Trees (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Martin Müller , Joachim Niehren , Andreas Podelski

Citations:

14 - 5 self

Versions

Version History

Metadata Version 4

User correction supplied by mph

Datum	Value	Source
TITLE	Ordering Constraints over Feature Trees	SVM HeaderParse 0.1
AUTHOR NAME	Martin Müller	user correction
AUTHOR AFFIL	Programming Systems Lab, Universität des Saarlandes,	user correction
AUTHOR ADDR	Stuhlsatzenhausweg 3, D-66041 Saarbrücken, Germany	user correction
AUTHOR NAME	Joachim Niehren	user correction
AUTHOR NAME	Andreas Podelski	user correction
AUTHOR AFFIL	Max-Planck-Institut für Informatik	user correction
AUTHOR ADDR	Im Stadtwald, D-66123 Saarbrücken, Germany	user correction
ABSTRACT	Feature trees are the formal basis for algorithms manipulating record like structures in constraint programming, computational linguistics and in concrete applications like software configuration management. Feature trees model records, and constraints over feature trees yield extensible and modular record descriptions. We introduce the constraint system FT of ordering constraints interpreted over feature trees. Under the view that feature trees represent symbolic information, the relation corresponds to the information ordering ("carries less information than"). We present two algorithms in cubic time, one for the satisfiability problem and one for the entailment problem of FT . We show that FT has the independence property. We are thus able to handle negative conjuncts via entailment and obtain a cubic algorithm that decides the satisfiability of conjunctions of positive and negated ordering constraints over feature trees. Furthermore, we reduce the satisfiability problem of Dorre's weak subsumption constraints to the satisfiability problem of FT and improve the complexity bound for solving weak subsumption constraints from O(n^5) to O(n³).	user correction
YEAR	1999	user correction - Legacy Corrections
CITATIONS	51 found	ParsCit 1.0