BeDict Logo

extensions

/ɪkˈstɛnʃənz/ /ɛkˈstɛnʃənz/
Illustration visuelle de extensions: L'ensemble des tuples de valeurs qui, utilisés comme arguments, satisfont le prédicat
noun

L'ensemble des tuples de valeurs qui, utilisés comme arguments, satisfont le prédicat

Pour le prédicat « habite dans la même maison que », les extensions sont les paires (John, Mary), (Mary, John), (David, Sarah) et (Sarah, David) si John et Mary vivent ensemble, et David et Sarah vivent ensemble.