Selected Topics from the Theory of Algorithms

Válogatott fejezetek az adatbázisok elméletéből

A tantárgyleírás hatályossága

Hatályosság kezdete:

2026. March 21.

Hatályosság vége:

—

Subject name (Hungarian, English)

Válogatott fejezetek az adatbázisok elméletéből

Selected Topics from the Theory of Algorithms

Subject code

BMEVIMAD081

Subject type

—

Training Level

—

Course types and hours (weekly/semester)

Course type	lecture	tutorial	laboratory
hours (weekly)	2	0	0
type (linked/independent)	—	—	—

Assessment type

vizsga

Credits

Subject coordinator

—

Responsible department

Gépjárműtechnológia Tanszék

https://auto.bme.hu/

Faculty

Közlekedésmérnöki és Járműmérnöki Kar

Subject website

—

Primary curriculum type

—

Direct prerequisites – Strong prerequisite

none

Direct prerequisites – Weak prerequisite

none

Direct prerequisites – Parallel prerequisite

none

Direct prerequisites – Milestone prerequisite

none

Direct prerequisites – Exclusion

none

Objectives

Programme

Függőségek (funkcionális, join, többertékű) axiomatizálhatósága,

következtetesek. A Chase algoritmus. Datalog: modell elméleti,

fixpont illetve bizonyitas elméleti megközelites. Datalog negációval:

straták, illetve a "well-founded" értelmezes. Rekurzió lekérdezési nyelvekben. Lekérdezési

nyelvek kifejezőképességének hierarchiaja. Nem teljes informació kezelése.

Az adatbázisok elméleti megalapozása legújabb eredményeinek és problémáinak ismertetése

Learning outcomes

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Knowledge

No learning outcomes recorded.

Skills

No learning outcomes recorded.

Attitudes

No learning outcomes recorded.

Autonomy and responsibility

No learning outcomes recorded.

Oktatási módszertan

Előadás

Tanulástámogató anyagok

Not provided.

Recommended preliminary knowledge for completing the subject

Knowledge type competencies

(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

Bevezetés a számításelméletbe, algoritmus elmélet, adatbázisok alapjai

Skill type competencies

(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

nincs

Recommended (non-compulsory) preliminary competencies

(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)

Bevezetés a számításelméletbe, algoritmus elmélet, adatbázisok alapjai

General rules

Követelmények: a. A szorgalmi időszakban: órákra bejárás b. A vizsgaidőszakban: vizsga c. Elővizsga:

Assessment methods

In-term assessments

No detailed assessments provided.

Weight of in-term assessments

No weights provided.

Exam-period assessments

No detailed assessments provided.

Weight of exam elements

No weights provided.

Grade calculation

No grade thresholds provided.

Attendance requirements

No attendance requirements provided.

Rules for retake and resubmission

Not provided.

Short description

Not provided.

Detailed description

Not provided.

Recommended courses

A tárgy felvételéhez szükséges az Adatbázisok (bmevima3232) c. tárgy teljesítése Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat: Neptun-kód Cím

Workload to complete the subject

No workload breakdown provided.

Validity of subject requirements

Requirements valid from:

—

Requirements valid until:

—

Curriculum placement

No curriculum placements recorded for this subject version.