En datastruktur er den sammenhæng, der er mellem en række sammenhørende dataelementer, f.eks. som i almindeligt anvendte strukturer med et antal ensartede elementer såsom lister, tabeller, træer, grafer og stakke, eller i databaser, hvor det er udtryk for en systematisk sammenhæng mellem felter.