Sign In

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality

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

์ €์ž

Efthymia Tsamoura, Boris Motik

๐Ÿ’ก ๊ฐœ์š”

๋ณธ ๋…ผ๋ฌธ์€ ์ตœ์ดˆ๋กœequality๋ฅผ ํฌํ•จํ•˜๋Š” 1์ฐจ ๋ฐ 2์ฐจ ์ข…์†์„ฑ์— ๋Œ€ํ•œ ๋ชฉํ‘œ ๊ธฐ๋ฐ˜ ์ฟผ๋ฆฌ ์‘๋‹ต ๊ธฐ๋ฒ•์„ ์ œ์‹œํ•ฉ๋‹ˆ๋‹ค. ์ œ์•ˆ๋œ ๊ธฐ๋ฒ•์€ ์ฟผ๋ฆฌ์™€ ๊ด€๋ จ ์—†๋Š” ๋ถˆํ•„์š”ํ•œ ์ถ”๋ก ์„ ํ”ผํ•˜๋„๋ก ์ž…๋ ฅ ์ข…์†์„ฑ์„ ๋ณ€ํ™˜ํ•˜๋ฉฐ, ์ด๋Š” Marnette์˜ singularisation ๊ธฐ๋ฒ• ๋ณ€ํ˜•, ๊ด€๋ จ์„ฑ ๋ถ„์„, ๊ทธ๋ฆฌ๊ณ  magic sets ์•Œ๊ณ ๋ฆฌ์ฆ˜ ๋ณ€ํ˜•์„ ํ†ตํ•ด ๋‹ฌ์„ฑ๋ฉ๋‹ˆ๋‹ค. ๊ด‘๋ฒ”์œ„ํ•œ ๊ฒฝํ—˜์  ํ‰๊ฐ€ ๊ฒฐ๊ณผ, ์ด ๋ชฉํ‘œ ๊ธฐ๋ฐ˜ ์ฟผ๋ฆฌ ์‘๋‹ต ๋ฐฉ์‹์€ ์™„์ „ํ•œ universal model์„ ๊ณ„์‚ฐํ•˜๋Š” ๊ฒƒ๋ณด๋‹ค ์ˆ˜์‹ญ ๋ฐฐ ์ด์ƒ ๋น ๋ฅผ ์ˆ˜ ์žˆ์Œ์„ ๋ณด์—ฌ์ค๋‹ˆ๋‹ค.

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

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