Unit:
Κατεύθυνση / ειδίκευση Θεωρητική Πληροφορική (ΘΕΩ)Πληροφορική
Author:
Papadimitriou George
Supervisors info:
Παναγιώτης Ροντογιάννης, Καθηγητής, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, ΕΚΠΑ
Original Title:
Μία λογική γλώσσα επερωτήσεων για λεξικογραφικές προτιμήσεις
Translated title:
A logic query language to express lexicographic preferences
Summary:
In this thesis we propose lxpQL, a new query language for expressing user-defined preference
constraints. Except from the usual logical operators ( ∧ , ∨ , ¬), this language uses a new
binary operator ≫ , which expresses a lexicographic preference between its arguments.
We also define a set of infinitesimals and we show that this set can be used in order to
give the proper semantics of our language, namely that the lexicographical property of the
expressed preferences is preserved. Finally, we provide an interpreter of lxpQL, which
was implemented in XSB Prolog.
Main subject category:
Technology - Computer science
Keywords:
Query languages for Preferences, Lexicographic Preferences