A logical reconstruction of constraint relaxation hierarchies in logic programming

Brown, Allen L.; Mantha, Surya; Wakayama, Toshiro

doi:10.1007/3-540-56804-2_34

Cited by 5 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As an example, we could attach the function symbol plus for a first-order language to the LISP function +. When the term plus (3,4) is encountered during the deduction process, the LISP program (+ 3 4) would be executed to evaluate it directly. Predicate evaluation has come to be referred to as procedural attachment.…”

Section: Interlayer Constraintsmentioning

confidence: 99%

“…Optimization and relaxation (see, for example, [3,12,33]) are two important operations that naturally arise in many applications involving constraints, e.g., engineering design, scheduling, decision support, etc. In optimization, we are interested in finding the optimal (i.e., best) solutions to a set of constraints with respect to an objective function.…”

Section: Negotiationmentioning

confidence: 99%

See 1 more Smart Citation

A Logical Approach to Quality of Service Specification in Video Databases

Bertino

Elmagarmid

Hacid

2004

Multimedia Tools and Applications

View full text Add to dashboard Cite

Abstract. Quality of Service (QoS) is defined as a set of perceivable attributes expressed in a user-friendly language with parameters that may be objective or subjective. Objective parameters are those related to a particular service and are measurable and verifiable. Subjective parameters are those based on the opinions of the end-users. We believe that quality of service should become an integral part of multimedia database systems and users should be able to query by requiring a quality of service from the system. The specification and enforcement of QoS presents an interesting challenge in multimedia systems development. A deal of effort has been done on QoS specification and control at the system and the network levels, but less work has been done at the application/user level. In this paper, we propose a language, in the style of constraint database languages, for formal specification of QoS constraints. The satisfaction by the system of the user quality requirements can be viewed as a constraint satisfaction problem, and the negotiation can be viewed as constraint optimization. We believe this paper represents a first step towards the development of a database framework for quality of service management in video databases. The contribution of this paper lies in providing a logical framework for specifying and enforcing quality of service in video databases. To our knowledge, this work is the first from a database perspective on quality of service management.

show abstract

Section: Interlayer Constraintsmentioning

confidence: 99%

Section: Negotiationmentioning

confidence: 99%

A Logical Approach to Quality of Service Specification in Video Databases

Bertino

Elmagarmid

Hacid

2004

Multimedia Tools and Applications

View full text Add to dashboard Cite

show abstract

“…Optimization and relaxation (see, e.g., [2,9]) are two important operations that naturally arise in many applications involving constraints, e.g., engineering design, scheduling, decision support, etc. In optimization, we are interested in finding the optimal (i.e., best) solutions to a set of constraints with respect to an objective function.…”

Section: Negotiationmentioning

confidence: 99%