Proof of the distributive law for Prioritisation and Pareto composition
| Autor: | Möller, Bernhard, Roocks, Patrick |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: | |
| Popis: | We deal with a particular theorem from the theory of preference databases, namely the distributivity of prioritisation over Pareto-composition. We demonstrate that the result can be shown using the automated tool Prover9. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|