Zapis dowodowy metody
Entity-Relationship Modeling
Entity-Relationship (ER) modeling is a conceptual approach to database design that represents real-world entities, their attributes, and the relationships between them. Introduced by Peter P.-S. Chen in 1976, ER modeling provides a high-level graphical notation (ER diagrams) that bridges the gap between informal requirements and formal database schemas.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Entity-Relationship Data Modeling
Taksonomiczny zapis metody · process-pipeline / information-systems
- Chen, P. P.-S. (1976). The entity-relationship model: Toward a unified view of data. ACM Transactions on Database Systems, 1(1), 9-36. · DOI 10.1145/320434.320440
- Chen, P. P.-S. (1977). English sentence structure and entity-relationship diagrams. New York, NY: Elsevier North-Holland. · URL
- Teorey, T. J., Yang, D., & Fry, J. P. (1989). A logical design methodology for relational databases using the extended entity-relationship model. ACM Computing Surveys, 18(2), 197-222. · URL
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Brak wyselekcjonowanych twierdzeń
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.