Sign In

Sufficient Explanations in Databases and their Connections to Database Repairs

์ž‘์„ฑ์ž
  • Haebom
์นดํ…Œ๊ณ ๋ฆฌ
Empty

์ €์ž

Leopoldo Bertossi, Nina Pardal

๐Ÿ’ก ๊ฐœ์š”

๋ณธ ๋…ผ๋ฌธ์€ ๋ฐ์ดํ„ฐ๋ฒ ์ด์Šค ์ฟผ๋ฆฌ ๋‹ต๋ณ€๊ณผ ๊ด€๋ จํ•˜์—ฌ ํŠœํ”Œ์˜ ๊ธฐ์—ฌ๋„๋ฅผ ๋‚˜ํƒ€๋‚ด๋Š” "์ถฉ๋ถ„ ์„ค๋ช…"๊ณผ "์ถฉ๋ถ„๋„ ์ ์ˆ˜" ๊ฐœ๋…์„ ํƒ๊ตฌํ•ฉ๋‹ˆ๋‹ค. ๋˜ํ•œ, ์ผ๊ด€์„ฑ ์—†๋Š” ๋ฐ์ดํ„ฐ๋ฒ ์ด์Šค ์ฒ˜๋ฆฌ์— ์‚ฌ์šฉ๋˜๋Š” ๋ฐ์ดํ„ฐ๋ฒ ์ด์Šค ๋ณต๊ตฌ ๋ฐ ์ธ๊ณผ ๊ด€๊ณ„ ๊ธฐ๋ฐ˜์˜ ํ•„์š” ์„ค๋ช…๊ณผ์˜ ์—ฐ๊ด€์„ฑ์„ ์กฐ์‚ฌํ•˜๊ณ  ํ™œ์šฉํ•˜์—ฌ ์ƒˆ๋กœ์šด ๊ณ„์‚ฐ ๊ฒฐ๊ณผ๋ฅผ ๋„์ถœํ–ˆ์Šต๋‹ˆ๋‹ค. Answer-set ํ”„๋กœ๊ทธ๋žจ์„ ์‚ฌ์šฉํ•˜์—ฌ ์ถฉ๋ถ„ ์„ค๋ช…์„ ๋ช…์‹œํ•˜๊ณ  ์ถฉ๋ถ„๋„ ์ ์ˆ˜๋ฅผ ๊ณ„์‚ฐํ•˜๋Š” ๋ฐฉ๋ฒ•์„ ์ œ์‹œํ•ฉ๋‹ˆ๋‹ค.

๐Ÿ”‘ ์‹œ์‚ฌ์  ๋ฐ ํ•œ๊ณ„

โ€ข
๋ฐ์ดํ„ฐ๋ฒ ์ด์Šค ์ฟผ๋ฆฌ ๊ฒฐ๊ณผ์— ๋Œ€ํ•œ ํŠœํ”Œ์˜ ๊ธฐ์—ฌ๋„๋ฅผ ์ •๋Ÿ‰ํ™”ํ•  ์ˆ˜ ์žˆ๋Š” "์ถฉ๋ถ„ ์„ค๋ช…"์ด๋ผ๋Š” ์ƒˆ๋กœ์šด ๊ฐœ๋…์„ ๋„์ž…ํ•ฉ๋‹ˆ๋‹ค.
โ€ข
๋ฐ์ดํ„ฐ๋ฒ ์ด์Šค ๋ณต๊ตฌ ๋ฐ ์ธ๊ณผ ๊ด€๊ณ„ ๊ธฐ๋ฐ˜ ์„ค๋ช…๊ณผ์˜ ์—ฐ๊ด€์„ฑ์„ ๊ทœ๋ช…ํ•˜์—ฌ ๋ถˆ์ผ์น˜ ๋ฐ์ดํ„ฐ ์ฒ˜๋ฆฌ ๋ฐ ์„ค๋ช… ๊ฐ€๋Šฅ์„ฑ ํ–ฅ์ƒ์— ๊ธฐ์—ฌํ•ฉ๋‹ˆ๋‹ค.
โ€ข
Answer-set ํ”„๋กœ๊ทธ๋žจ์„ ํ†ตํ•ด ์ถฉ๋ถ„ ์„ค๋ช…์˜ ๋ช…์‹œ ๋ฐ ๊ณ„์‚ฐ ๊ฐ€๋Šฅ์„ฑ์„ ๋ณด์—ฌ์ฃผ์–ด ์‹ค์งˆ์ ์ธ ์ ์šฉ ๊ฐ€๋Šฅ์„ฑ์„ ์ œ์‹œํ•ฉ๋‹ˆ๋‹ค.
โ€ข
์ถฉ๋ถ„ ์„ค๋ช… ๊ฐœ๋…์˜ ๊ณ„์‚ฐ ๋ณต์žก์„ฑ์ด๋‚˜ ์‹ค์ œ ๋ฐ์ดํ„ฐ์…‹์—์„œ์˜ ํšจ์œจ์„ฑ์— ๋Œ€ํ•œ ์ถ”๊ฐ€์ ์ธ ์—ฐ๊ตฌ๊ฐ€ ํ•„์š”ํ•ฉ๋‹ˆ๋‹ค.
๐Ÿ‘
Made with Slashpage