Qualifying Answers According to User Needs and Preferences
Terry Gaasterland, Jorge Lobo · Fundamenta Informaticae · 1997
This paper presents a rigorous methodology for using annotated logic programming techniques to handle user preferences and needs in answering database queries. Two alternative transformations turn a database program into a new program that returns an