Exchange Kocoin چیست؟

کارگاه Kocoon در Arras ، که توسط پیر بورشیس ، Florent Capelli ، پیر مارکیس و استفان منگل برگزار شده است

در توالی های بازگشتی چند جمله ای (Michaël Cadilhac ، Filip Mazowiecki ، Charles Paperman ، Michał Pilipczuk و Géraud Sénizergues) Drops. Dagstuhl. de/opus. 7. PDF

école d'tété kocoon (لغو شده) ارگانیس پار فلوران کاپلی ، پیر مارکیس ، استفان منگل و پیر بورویس ، à لیل

مقاله MFCS که توسط پل گالوت ، اورلین لمی و سیلوین سالواتی پذیرفته شده است: https://hal. inria. fr/hal-02902853

عنوان: Shex Leaing از نمودارهای تایپ شده

چکیده: در نمودارهای دانش ، طرحواره ها در حال تبدیل شدن به یک دارایی جدید برای توصیف سازمان داده ها هستند. قالب جدید پیشرو در جهان Shex در حال تبدیل شدن به یک استاندارد de-facto در صنعت است که امکان تعیین طرح های انعطاف پذیر و قدرتمند را فراهم می کند.

در این زمینه ، استنباط طرحواره می تواند به راه حلی برای ارائه عبارات shex تبدیل شود که داده های موجود را توصیف می کند. به طور معمول ، استنتاج از نمودارهای بدون نسخه شروع می شود. با این حال ، به نظر می رسد که این کارها پیچیده تر از آنچه به طور کلی انتظار می رفت ، و فقط برای زیر کلاس های شکس امکان پذیر است.

استنباط طرحواره ها از نمودار تایپ شده برای آن الگوریتم ها پایه ای را ارائه می دهد. درک آن امکان درک بهتر مشکلات اساسی کار را فراهم می کند. این مشکلات غیر منتظره را ارائه می دهد.

ما یک الگوریتم ارائه می دهیم که از طرح های تعریف شده از نمودارهای کاملاً تایپ شده استفاده می کند. ما همچنین برخی از مشکلات مواجه شده و همچنین محدودیت های رویکرد را ارائه می دهیم.

عنوان: پیچیدگی شمارش مشکلات بیش از پایگاه داده های ناقص

چکیده: در این ارائه ، من در مورد مشکلات مختلف شمارش صحبت خواهم کرد که به طور طبیعی در زمینه ارزیابی پرس و جو از طریق بانکهای اطلاعاتی ناقص بوجود می آیند. بانکهای اطلاعاتی ناقص پایگاه داده های رابطه ای هستند که می توانند حاوی مقادیر ناشناخته به شکل تهی های برچسب خورده باشند. فرض خواهیم کرد که دامنه این مقادیر ناشناخته محدود است و برای یک پرس و جو بولی $ q $ ، ما دو مشکل زیر را در نظر خواهیم گرفت: با توجه به ورودی یک بانک اطلاعاتی ناقص $ d $ ، (الف) تعداد تکمیل $ را برگردانیدD $ که $ q $ را برآورده می کند. یا (ب) بازگشت یا تعداد ارزیابی های تهی $ D $ که به اتمام می رسد که $ q $ را برآورده می کند.

ما پیچیدگی محاسباتی این مشکلات را بررسی خواهیم کرد که $ q $ یک پرس و جو ملتحمه عاری از خود به خود باشد و تأثیر آن را بر پیچیدگی دو محدودیت زیر بررسی کنیم: (1) هر تهی حداکثر یک بار در $ d $ رخ می دهد(آنچه *جداول CODD نامیده می شود *) ؛و (2) دامنه هر تهی یکسان است. تقریباً صحبت خواهیم کرد ، خواهیم دید که شمارش تکمیل بسیار سخت تر از شمارش ارزیابی ها است و هر دو (1) و (2) می توانند پیچیدگی مشکلات ما را کاهش دهند.

من همچنین در مورد تقریب این مشکلات صحبت خواهم کرد و ثابت می کنم که ، در حالی که شمارش ارزیابی ها می تواند به طور مؤثر تقریب شود ، در بیشتر موارد که شمارش تکمیل نمی تواند باشد.

در راه ما ، با کلاسهای پیچیدگی شمارش #P ، Span-P و Span-L روبرو خواهیم شد.

این ارائه بر اساس کار مشترک با مارسلو آرناس و پابلو بارسلو انجام خواهد شد. به arxiv.org/abs/1912. 11064 < Span> ما پیچیدگی محاسباتی این مشکلات را بررسی خواهیم کرد وقتی $ q $ یک پرس و جو ملتحمه عاری از خود به خود است و تأثیر را بر پیچیدگی دو محدودیت زیر بررسی خواهیم کرد: (1) هر تهی حداکثر یک بار در $ d $ (آنچه *جداول CODD *نامیده می شود) رخ می دهد. و (2) دامنه هر تهی یکسان است. تقریباً صحبت خواهیم کرد ، خواهیم دید که شمارش تکمیل بسیار سخت تر از شمارش ارزیابی ها است و هر دو (1) و (2) می توانند پیچیدگی مشکلات ما را کاهش دهند.