تعریف پایگاه داده

تعریف

به مجموعه‌ای از چند مقدار که یک گزاره نما را تبدیل به یک گزاره درست می‌کنند تاپل گفته می‌شود. برای مثال سیاره x به دور ستاره y می چرخد یک گزاره نماست (گزاره پارامتری) که تاپل {خورشید=yناهید=x} یک گزاره صحیح در آن به وجود می‌آورد. رابطه دو بخش دارد بدنه و عنوان. بدنه رابطه مجموعه‌ای متناهی از تاپل هاست. عنوان رابطه مجموعه‌ای از چند ویژگی است که هر ویژگی دارای یک نام و یک نوع است. برای مثال در رابطه فوق عنوان دارای دو ویژگی است اولی به نام ستاره و از نوع کاراکتر (یا از نوع ستاره‌های عالم) و دومی سیاره و از نوع کاراکتر (یا نوع سیاره‌های عالم)به تعداد تاپل‌های رابطه کاردینالیتی، به تعداد ویژگی‌های عنوان درجه رابطه گفته می‌شود. از آنجا که این مفاهیم بر اساس نظریه مجموعه‌ها تعریف شده اند عضو تکراری (تاپل تکراری در بدنه و نام ویژگی تکراری در عنوان) غیر ممکن است و ترتیب آنها هم هیچ اهمیتی ندارد.