NOVAS FUNCIONALIDADES PARA A LINGUAGEM CPREF-SQL COM SUPORTE A PREFERÊNCIAS DO USUÁRIO

Resumo

A noção de especificação de preferências do usuário vem conquistando um espaço de grande interesse na comunidade científica. Um dos grandes desafios, sem dúvida, é incorporar esses conceitos em uma linguagem de consulta que possibilite a utilização de todas essas funcionalidades. A linguagem CPref-SQL é um bom exemplo disso, sendo capaz de representar e fazer consultas sobre preferências condicionais. Sendo uma preferência um conjunto de regras, um dos problemas que podem surgir é justamente a questão da consistência das regras, ou seja, é importante garantir que não haja contradições entre elas. Para tanto, foi implementado o Teste de Consistência, que determina se um determinado conjunto de regras é consistente ou não. Este teste consiste de duas etapas, que serão explicadas detalhadamente no decorrer deste artigo. Abordamos também a implementação On-Top de uma extensão da CPref-SQL, que adiciona operadores de desigualdade à sintaxe das regras de preferência da linguagem, trazendo para esta maior expressividade. Por fim, exemplos de uso da extensão da linguagem são apresentados para um melhor entendimento do seu funcionamento e recursos.