Nástroj pro formální analýzu relační databáze

Show simple item record
dc.contributor.advisorMeca, Roman
dc.contributor.authorBršťák, Jan
dc.contributor.refereeBača, Radim
dc.date.accepted2016-05-31
dc.date.accessioned2016-11-03T07:47:39Z
dc.date.available2016-11-03T07:47:39Z
dc.date.issued2016
dc.descriptionImport 03/11/2016cs
dc.description.abstractTato bakalářská práce je zaměřena na návrh a implementaci nástroje pro formální analýzu relační databáze, který uživateli umožní jednoduše provést analýzu daného relačního schématu. První část práce se zabývá normalizací databáze a především problematikou normálních forem, které s tímto tématem úzce souvisí. Ve druhé části se práce soustředí především na použité technologie a testování vytvořené aplikace.cs
dc.description.abstractThis bachelor thesis is focusing on proposal and an implementation of formal analysis tool for relational database that allows user to easily analyze the relational schema. The first part deals with database normalization, and especially the issue of normal forms that this topic is closely related. In the second part thesis focuses mainly on applied technology and testing of created application.en
dc.description.department460 - Katedra informatiky
dc.description.resultvelmi dobřecs
dc.format.extent1904905 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.otherOSD002cs
dc.identifier.senderS2724cs
dc.identifier.thesisBRS0010_FEI_B2647_2612R025_2016
dc.identifier.urihttp://hdl.handle.net/10084/116041
dc.language.isocs
dc.publisherVysoká škola báňská - Technická univerzita Ostravacs
dc.rights.accessopenAccess
dc.subjectformální analýzacs
dc.subjectrelační databázecs
dc.subjectnormální formacs
dc.subjectformal analysisen
dc.subjectrelational databaseen
dc.subjectnormal formen
dc.thesis.degree-branchInformatika a výpočetní technikacs
dc.thesis.degree-grantorVysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatikycs
dc.thesis.degree-levelBakalářský studijní programcs
dc.thesis.degree-nameBc.
dc.thesis.degree-programInformační a komunikační technologiecs
dc.titleNástroj pro formální analýzu relační databázecs
dc.title.alternativeTool for Formal Analysis of Relational Databaseen
dc.typeBakalářská prácecs

Files

Original bundle

Now showing 1 - 4 out of 4 results
Thumbnail Image
Name:
BRS0010_FEI_B2647_2612R025_2016.pdf
Size:
1.82 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
BRS0010_FEI_B2647_2612R025_2016_priloha.zip
Size:
10.59 MB
Format:
Unknown data format
Download
Thumbnail Image
Name:
BRS0010_FEI_B2647_2612R025_2016_posudek_vedouci_Meca_Roman.pdf
Size:
50.65 KB
Format:
Adobe Portable Document Format
Description:
Posudek vedoucího – Meca, Roman
Download
Thumbnail Image
Name:
BRS0010_FEI_B2647_2612R025_2016_posudek_oponent_Baca_Radim.pdf
Size:
53.39 KB
Format:
Adobe Portable Document Format
Description:
Posudek oponenta – Bača, Radim
Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)