Chaos in the border-collision normal form: A computer-assisted proof using induced maps and invariant expanding cones.
Paul A. GlendinningDavid J. W. SimpsonPublished in: Appl. Math. Comput. (2022)
Keyphrases
- computer assisted
- normal form
- database design
- relational databases
- relational algebra
- functional dependencies
- intraoperative
- nested relations
- computer aided
- data dependencies
- information content
- neural network
- boolean expressions
- relational database theory
- object oriented
- database systems
- management system
- data model