This repository was archived by the owner on Jul 29, 2026. It is now read-only.
Dev - #317
Merged
Merged
Conversation
various definitions of the 5th exist, and some of them mean different things. duh.
Master thesis
Ecs rendering
Contributor
There was a problem hiding this comment.
Pull request overview
This PR adds and restructures LaTeX sources for a thesis/proposal, including vendored LNCS bibliography/class assets, new proposal content chapters, and updates to the existing helios_master LaTeX document (appendix structure + additional relational-model appendix content).
Changes:
- Add a standalone thesis proposal document (
proposal.tex) with a dedicated bibliography (proposal.bib) and included chapter content underdocs/latex/thesis/content/. - Vendor LNCS-related LaTeX assets into the repo (
llncs.cls,splncs04.bst,history.txt) for local builds. - Restructure
helios_masterappendix inputs and extend relational-model appendix material (plus add a Chase procedure example appendix).
Reviewed changes
Copilot reviewed 16 out of 16 changed files in this pull request and generated 5 comments.
Show a summary per file
| File | Description |
|---|---|
| docs/latex/thesis/splncs04.bst | Adds a LNCS BibTeX style file (includes DOI handling); header comments currently reference splncs03. |
| docs/latex/thesis/proposal.tex | Adds a KOMA-Script based proposal document using biblatex. |
| docs/latex/thesis/proposal.bib | Adds proposal bibliography entries (ECS/concurrency + DB theory sources). |
| docs/latex/thesis/llncs.cls | Vendors the LNCS class file into the repository (license/provenance should be clarified). |
| docs/latex/thesis/index.tex | Adds a simple entry point that inputs content/index. |
| docs/latex/thesis/history.txt | Adds LNCS class/style version history text. |
| docs/latex/thesis/content/index.tex | Adds thesis content include list. |
| docs/latex/thesis/content/einleitung.tex | Adds introduction chapter content. |
| docs/latex/thesis/content/relational_model/index.tex | Adds a chapter describing the relational-model-based ECS research question + methodology. |
| docs/latex/thesis/content/cpu_concurrency/index.tex | Adds a chapter describing CPU concurrency / domain-handle partitioning research question + methodology. |
| docs/latex/helios_master/helios_master.bib | Extends master bibliography with DB theory sources. |
| docs/latex/helios_master/helios_master_de.tex | Adds a definition theorem environment. |
| docs/latex/helios_master/content/de/index.tex | Switches appendix include to a new appendix index file. |
| docs/latex/helios_master/content/de/appendix/index.tex | Adds an appendix index to include multiple appendix parts. |
| docs/latex/helios_master/content/de/appendix/concurrency_paper/notation/relationales_modell.tex | Fixes/extends relational-model appendix content; currently includes a LaTeX command typo causing compilation failure. |
| docs/latex/helios_master/content/de/appendix/chase-verfahren.tex | Adds a Chase-procedure example appendix (minor spacing typo). |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| @@ -0,0 +1,1218 @@ | |||
| % LLNCS DOCUMENT CLASS -- version 2.20 (10-Mar-2018) | |||
| % Springer Verlag LaTeX2e support for Lecture Notes in Computer Science | |||
| % | |||
Comment on lines
+1
to
+11
| %% BibTeX bibliography style `splncs03' | ||
| %% | ||
| %% BibTeX bibliography style for use with numbered references in | ||
| %% Springer Verlag's "Lecture Notes in Computer Science" series. | ||
| %% (See Springer's documentation for llncs.cls for | ||
| %% more details of the suggested reference format.) Note that this | ||
| %% file will not work for author-year style citations. | ||
| %% | ||
| %% Use \documentclass{llncs} and \bibliographystyle{splncs03}, and cite | ||
| %% a reference with (e.g.) \cite{smith77} to get a "[1]" in the text. | ||
| %% |
| \exists k^\top_x \in K^\top_j, K^\top_j \in D \setminus D_e | ||
| \] | ||
| Bei der Anwendung des Chase-Verfahrens verbleibt damit ein $b$-Symbol bei der Attributspalte $e$ in der zugehörigen Zeile $K^\top_j$ und verhindert damit die Vereinheitlichung der Zeile mit den übrigen Zeilen, die ein $a$-Symbol in der $e$-Spalte besitzen: | ||
| Dass dieses Attribut nicht in den Relationen von $D_e$ vorkommt, sondern in mindestens einer der Relationen von $D \semtinus D_e$, bedeutet, dass das Chase-Verfahren in diesem Kontext keine Zeile vollständig mit $a$-Symbolen besetzen kann, solange nicht auch $e$ ein Attribut der Relationen von $D \setminus D_e$ ist, und im Chase-Verfahren ein $a$-Symbol erhält. |
| \] | ||
| \end{enumerate} | ||
|
|
||
| Damit enthält enthält der verlustfrei-redundanzfreie Kern $D^{JD}$ ausschließlich Relationen, die den Primärschlüssel $e$ mit $e^+ = K^\top$ enthalten. |
| \] | ||
|
|
||
| \noindent | ||
| Wir wenden hierzu das Verfahren an, das wir zum Nachweis von Lemma~\ref{lem:K_plus_ist_verlustfrei} angewendet haben,und weisen darüber die verlustfreie Zerlegung nach: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.