Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings

این جلد شامل مقالات ارائه شده در "دومین S-Posium بین المللی در زمینه مبانی سیستم های اطلاعات و دانش" (FoIKS 2002) است که در Schloß Salzau، آلمان از 20 تا 23 فوریه 2002 برگزار شد. FoIKS یک دوسالانه است. رویدادی با تمرکز بر مبانی نظری سیستم های اطلاعات و دانش. هدف آن گردآوری محققانی است که بر روی مبانی نظری سیستم‌های اطلاعات و دانش کار می‌کنند و محققانی را که در زمینه‌های ریاضی مانند ریاضیات گسسته، c-binatorics، منطق و نظریه مدل ?nite کار می‌کنند که علاقه‌مند به استفاده از نظریه‌های خود در تحقیق هستند، جذب کند. در مورد پایگاه داده و نظریه پایگاه دانش FoIKS سنت سلسله کنفرانس های "مبانی ریاضی سیستم های پایگاه داده" (MFDBS) را در پیش گرفت که همکاری شرق و غرب را در حوزه نظریه پایگاه داده امکان پذیر کرد. اولین سمپوزیوم FoIKS در Burg، Spreewald (آلمان) در سال 2000 برگزار شد. کنفرانس های سابق MFDBS در درسدن (آلمان) در سال 1987، Visegr´ ad (مجارستان) در سال 1989 و در روستوک (آلمان) در سال 1991 برگزار شد. این رویدادهای قبلی توسط Springer-Verlag به عنوان جلدهای 305، 364، 495، و 1762 از سری LNCS منتشر شد. علاوه بر این، سمپوزیوم FoIKS در نظر گرفته شده است تا یک انجمن برای گفتگوهای فشرده باشد. به همین دلیل، زمان مشارکت طولانی و کوتاه به ترتیب 60 و 30 دقیقه است، و پس از آن به ترتیب 30 و 15 دقیقه برای بحث و گفتگو است. علاوه بر این، از شرکت‌کنندگان از قبل خواسته می‌شود تا به عنوان خبرنگار برای مشارکت نویسنده دیگری آماده شوند. همچنین جلسات ویژه ای برای ارائه و بحث در مورد مسائل تحقیق باز وجود دارد.

This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr´ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.